ARM: 7480/1: only call smp_send_stop() on SMP