[PATCH 1/4] KVM: arm/arm64: Properly protect VGIC locks from IRQs