[PATCH] Address BUG: using smp_processor_id() in preemptible [00000001] code