[U-Boot] [PATCH 4/4] doc: vxworks: Mention support of loading 64-bit x86 kernels

[Bin Meng]

With the introduction of the elf64 loader, now we can load a 64-bit
VxWorks x86 kernel via the 'bootvx' command.

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

 doc/README.vxworks | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/README.vxworks b/doc/README.vxworks
index b95a516..3004466 100644
--- a/doc/README.vxworks
+++ b/doc/README.vxworks
@@ -17,8 +17,6 @@ For booting old kernels (6.9.x) on PowerPC and ARM, and all kernel versions
 on other architectures, 'bootvx' shall be used. For booting VxWorks 7 kernels
 on PowerPC and ARM, 'bootm' shall be used.
 
-64-bit x86 kernel cannot be loaded as of today.
-
 VxWork 7 on PowerPC and ARM
 ---------------------------
 From VxWorks 7, VxWorks starts adopting device tree as its hardware decription
@@ -79,3 +77,5 @@ For boards on which ACPI is not supported by U-Boot yet, VxWorks kernel must
 be configured to use MP table and virtual wire interrupt mode. This requires
 INCLUDE_MPTABLE_BOOT_OP and INCLUDE_VIRTUAL_WIRE_MODE to be included in a
 VxWorks kernel configuration.
+
+Both 32-bit and 64-bit x86 kernels can be loaded.
-- 
2.7.4