[SeaBIOS] New build warnings with GCC 5