sh: get_user_pages_fast() must flush cache