[SeaBIOS] Linux-ready Firmware Kit does not work?