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