x86: don't always use EFAULT on __put_user_size.