[SeaBIOS] 1.7.3.2 stable release planned