[Bug 542707] XEN doesn't work in full virtualisation mode.