[PATCH]: highest_possible_processor_id() has to be a macro