Re: [SeaBIOS] [coreboot] UEFI project ideas