Re: [SeaBIOS] Linux-ready Firmware Kit