Add xen as a known OS