doc: vxworks: Mention chain-loading an x86 kernel via 'bootefi'