[SeaBIOS] SeaBIOS v1.7.2.1 stable release