Re: [SeaBIOS] [Xen-devel] [PATCHv2 0/6] Improved multi-platform support