[coreboot] coreboot with vxworks