This build
http://koji.fedoraproject.org/koji/taskinfo?taskID=1394059
is just a resync with the current rawhide kernel. I don't think there are
any significant xen changes. It is also available via the repository
http://fedorapeople.org/~myoung/dom0/
Michael Young