smp_setup_processor_id() comments