[SeaBIOS] Backport request for 8c3f57ea12