[SeaBIOS] Fedora 18 kernel and Xen [Was: Re: [PATCHv2 0/6] Improved multi-platform support]