[PATCH 4.9 034/102] arm64: smp: fix smp_send_stop() behaviour