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