Re: [PATCH 0/4] Remove get_kernel_pages()