I have built 4.0.3-rc1 for Fedora 14 (temporarily) at
http://koji.fedoraproject.org/koji/taskinfo?taskID=3303194
and 4.1.2-rc1 for Fedora 15 (temporarily) at
http://koji.fedoraproject.org/koji/taskinfo?taskID=3302767
for testing. Let me know and/or post on the xen-devel list if you see any
problems.
Michael Young