Explicit pinning of user-space pages

Another baby step toward a solution to the problems with get_user_pages().