[PATCH] fix spinlock-debugging smp_processor_id() usage