[SeaBIOS] [PULL for-1.2] update seabios to 1.7.1