[coreboot] booting xen from coreboot