Comment # 3 on bug 1227301 from Jürgen Groß

Created attachment 875846 [details]
Debug patch

Could you try to boot with the patch applied to your kernel? You'd need to add
"xen_mc_debug" to the kernel commandline.

The kernel log should have some more data narrowing down the root cause.