xen_cpus now detects number of cpus