Note that you can change so that future kernel-xen packages are the default kernel by editing /etc/sysconfig/kernel