Re: [SeaBIOS] Backport request for 8c3f57ea12