[coreboot] VxWorks 7 rebooting with UEFI payload