[PATCH v2 3/4] tee: Remove call to get_kernel_pages()