[PATCH v3 hmm 0/9] Small hmm_range_fault() cleanups