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