Re: [SeaBIOS] patches from Google