I have built another 2.6.32.x based kernel (2.6.32.25-172.xendom0.fc12) at
http://koji.fedoraproject.org/koji/taskinfo?taskID=2583536 and the
repository
http://repos.fedorapeople.org/repos/myoung/dom0-kernel/ . This
updates the kernel from 2.6.32.25-rc1 to 2.6.32.25 (which may not actually
change anything), and uses a later version of xen/stable-2.6.3.32.x which
adds a couple of xen fixes.
Michael Young