[PATCH 4.19 61/65] arm64: smp: fix smp_send_stop() behaviour