Remove a problematic xen_HOST_OS guard