debug_smp_processor_id() fixlets