ARM: 6402/1: Don't send IPI in smp_send_stop if there's only one CPU