[PATCH OLK-6.6 03/10] arm64: smp: Assign and setup an IPI as NMI