Re: [coreboot] kexec of Xen hypervisor from a Linux payload