Re: [coreboot] booting vxworks from linux BIOS