Re: [SeaBIOS] Seabios build failure with gcc 6.2.0 in Debian Sid