docs: Catch up with the new location of get_user_pages_fast()