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