[coreboot] kexec of Xen hypervisor from a Linux payload