An update to 2.6.31 (kernel-2.6.31-1.2.65.xendom0.fc12) is at
http://koji.fedoraproject.org/koji/taskinfo?taskID=1668140 and on the
repository
http://fedorapeople.org/~myoung/dom0/ . This has a few fixes
since my previous kernel, though X still doesn't work for me.
Michael Young