[Fedora-xen] can't boot xen kernel