Move `num_cpus` from `std::rt::util` to `std::os`