Re: [SeaBIOS] seabios 1.7.5.1 stable release -- last call for patches