KVM: arm64: Add helper vgic_write_guest_lock()