x86: doc: coreboot: Mention 64-bit Linux distros

Add a little more detail as to why coreboot64 is preferred for booting Linux distros. Signed-off-by: Simon Glass <[email protected]> Reviewed-by: Bin Meng <[email protected]>
lbmeng · Sep 21, 2023 · 5728246 · 5728246
1 parent ad57b98
commit 5728246
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/board/coreboot/coreboot.rst b/doc/board/coreboot/coreboot.rst
@@ -82,6 +82,8 @@ build in `$CBDIR`::
       -device ahci,id=ahci \
       -device ide-hd,drive=disk,bus=ahci.0 \
 
+This allows booting and installing various distros, many of which are
+64-bit-only, so cannot work with the 32-bit 'coreboot' build.
 
 USB keyboard
 ------------