[PATCH 1/2] KVM: ARM: Properly protect VGIC locks from IRQs