Use num_possible_cpus() instead of NR_CPUS for timer distribution