Re: [coreboot] booting xen from coreboot