Re: [coreboot] [SeaBIOS] UEFI project ideas