binfmt_flat: don't use __put_user()