[SeaBIOS] Issues building SeaBIOS with gcc > 4.8