I have built another 2.6.32.x based kernel (2.6.32.26-174.xendom0.fc12) at
http://koji.fedoraproject.org/koji/taskinfo?taskID=2618746 and the
repository
http://repos.fedorapeople.org/repos/myoung/dom0-kernel/ which
updates to 2.6.32.26 and a later version of xen/stable-2.6.3.32.x.
Michael Young