[PATCH 12/34] vmci: convert put_page() to put_user_page*()