Re: [coreboot] Booting an EFI OS