Comment 10 for bug 71348

There might be several ways, but this is the road I took

I grabed the binary kernel from the XEN LiveCD, you may also fetch the tarball and build a Kernel of your own. Once you have that kernel, you follow the usual "How to install a new kernel" (copy the kernel and if needed the initrd to /boot, and add them to GRUB (don't forget the Hypervisor :) )).

AFAICS you only need a *working* Dom0 Kernel, it doesn't matter which Kernel your DomU loads - as said, AFAICS, the _number_ of DomU crashes the Dom0 and not a specific DomU kernel.

HTH