[PATCH v2 0/4] Remove get_kernel_pages()