I have done another update (kernel-188.8.131.52-1.2.103.xendom0.fc12) which
is available from
http://koji.fedoraproject.org/koji/taskinfo?taskID=2169712 or the
You need xen-3.4.3 or xen-4.0.0 to use this kernel (it did boot for me
with the standard F13 3.4.2 package on one machine, but the networking
didn't work, possibly other things as well as I didn't test it much).
xen mailing list