[SeaBIOS] [PATCH] fix inline build warning