That is Red Hat invested a lot into making Xen work in RHEL5, I heard they hired a dozen or more engineers to work exclusively on supporting Xen in RHEL5. So they did a lot of work, and now Jeremy tries to merge that in mainstream. I am not sure if Red Hat themselves are currently interested in that.