[Fedora-xen] Xen, Linux and EFI.