[PATCH OLK-6.6 09/16] KVM: arm64: vgic-debug: Add the NMI field to the debug output