[PATCH 2/2] doc: x86: Update SeaBIOS build instructions

[Bin Meng]

Update SeaBIOS build instructions using exact command that involves
"make olddefconfig", and mention SeaBIOS release 1.14.0 has been
used for testing.

Signed-off-by: Bin Meng <bmeng.cn at gmail.com>
---

 doc/arch/x86.rst | 21 ++++++++-------------
 1 file changed, 8 insertions(+), 13 deletions(-)

diff --git a/doc/arch/x86.rst b/doc/arch/x86.rst
index 0fdd43be80..5494155a51 100644
--- a/doc/arch/x86.rst
+++ b/doc/arch/x86.rst
@@ -379,24 +379,19 @@ Booting SeaBIOS is done via U-Boot's bootelf command, like below::
    Using e1000#0 device
    TFTP from server 10.10.0.100; our IP address is 10.10.0.108
    ...
-   Bytes transferred = 122124 (1dd0c hex)
-   ## Starting application at 0x000ff06e ...
-   SeaBIOS (version rel-1.9.0)
+   Bytes transferred = 128748 (1f6ec hex)
+   ## Starting application at 0x000fd269 ...
+   SeaBIOS (version rel-1.14.0-0-g155821a)
    ...
 
-bios.bin.elf is the SeaBIOS image built from SeaBIOS source tree.
-Make sure it is built as follows::
-
-   $ make menuconfig
-
-Inside the "General Features" menu, select "Build for coreboot" as the
-"Build Target". Inside the "Debugging" menu, turn on "Serial port debugging"
-so that we can see something as soon as SeaBIOS boots. Leave other options
-as in their default state. Then::
+bios.bin.elf is the SeaBIOS image built from SeaBIOS source tree. At the time
+being, SeaBIOS release 1.14.0 has been tested. To build the SeaBIOS image::
 
+   $ echo -e 'CONFIG_COREBOOT=y\nCONFIG_COREBOOT_FLASH=n\nCONFIG_DEBUG_SERIAL=y\nCONFIG_DEBUG_COREBOOT=n' > .config
+   $ make olddefconfig
    $ make
    ...
-   Total size: 121888  Fixed: 66496  Free: 9184 (used 93.0% of 128KiB rom)
+   Total size: 128512  Fixed: 69216  Free: 2560 (used 98.0% of 128KiB rom)
    Creating out/bios.bin.elf
 
 Currently this is tested on QEMU x86 target with U-Boot chain-loading SeaBIOS
-- 
2.25.1