[SeaBIOS] patches from Google