I have done a temporary build of 4.2.0-rc2 for testing which is at http://koji.fedoraproject.org/koji/taskinfo?taskID=4386920 This also adds the efi hypervisor back in for x86_64.
Michael Young -- xen mailing list xen@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/xen