Re: [coreboot] using SeaBios on EFI platforms