get_user_pages replaced with get_user_pages_fast (courtesy of Andrea Arcangeli)