Clarify page fault handler for get/put_user().