[Bug 572884] Xen installation fails with segfault