x86: be more explicit in __put_user_x.