[SeaBIOS] [RFC] SeaBIOS v1.7.2.1 stable release