[PATCH] Convert highest_possible_processor_id to nr_cpu_ids