Now that kernel-xen is dead, we need to add some magic to do e.g. s/DEFAULTKERNEL=kernel-xen/kernel-PAE/ /etc/sysconfig/kernel