[PATCH] cpumask: uninline highest_possible_processor_id()