[SeaBIOS] [PATCH 3/3]