[Bug 462633] New: Broken x86_64 xen