[Fedora-xen] kernel-xen is dead