[PATCH v1 2/6] arm: smp: Introduce a non-maskable IPI