Hello,
I just posted two Xen related Fedora kernel bugs to bugzilla:
"Fedora 32bit PAE kernel crashes as Xen PV guest, CONFIG_HIGHPTE xen_set_pte()
bug/race":
https://bugzilla.redhat.com/show_bug.cgi?id=566932
"Fedora 2.6.31 kernel save/restore/migration crashes on Xen PV guest":
https://bugzilla.redhat.com/show_bug.cgi?id=566930
Just a heads up for the people reading the list :)
-- Pasi