[PATCH 13/26] mm: rename vmap_page_range to map_kernel_range