[PATCH OLK-6.6 v2 08/15] KVM: arm64: vgic-debug: Add the NMI field to the debug output