Re: [SeaBIOS] Issues building SeaBIOS with gcc > 4.8