KVM: improve hva_to_pfn() readability