kernel/smp.c: fix smp_call_function_many() SMP race