ARM: 7803/1: Fix deadlock scenario with smp_send_stop()