Re: [SeaBIOS] Build failure with GCC 6 from Debian Sid/unstable