Correct nr_processes() when CPUs have been unplugged