[PATCH 39/87] arm: KVM: Add missing kvm_stage2_has_pmd() helper