Allow cpu_count to override counted CPUs on Xen