Adding better xen detection