[PATCH 0/4] Remove get_kernel_pages()