[Fedora-xen] kernel naming