[PATCH 33/34] kernel/events/core.c: convert put_page() to put_user_page*()