Add cpuid_get_total_cpus to allow getting the total number of CPUs on systems without CPUID.