[PATCH] KVM: arm/arm64: vgic: Replace spin_is_locked() with lockdep