[SeaBIOS] SeaBIOS v1.6.3.2 release