[PATCH] mm/hmm: Simplify hmm_vma_walk_pud slightly