[PATCH] Fix vma argument in get_usr_pages() for gate areas