Re: [SeaBIOS] [coreboot] Linux-ready Firmware Kit