[PATCH 4.4 32/91] arm64: smp: fix smp_send_stop() behaviour