Could you try if the release 1.0.beta9 works fine too. The kernel of this release has not support for XEN. At this point I suspect that it works too. I need to understand if in the next release is convenient to keep XEN support enabled.
Regards
Fulvio
