[PATCH 04/34] x86/kvm: convert put_page() to put_user_page*()