ARM: KVM: introduce kvm_p*d_addr_end