s/kernel-xen0/kernel-xen-hypervisor/g;

That's right, stop looking for kernel-xen0 and kernel-xenU in FC5 , you'll be looking for kernel-xen-hypervisor and kernel-xen-guest . Sounds reasonable, but takes you a couple of minutes to figure out :)