[SeaBIOS] OS that don't work?