Re: [SeaBIOS] seabios build failure in xen tree