smp.c: fix ARM RCU stalls