[Bug 732336] XEN is not properly installed?