[SeaBIOS] [PATCH] Fix build issue on gcc34