[U-Boot] [PATCH v2 6/6] doc: vxworks: Mention chain-loading an x86 kernel via 'bootefi'