[PATCH OLK-6.6 v3 0/7] arm64: Add support to turn an IPI as NMI