Xen detection fixes