[PATCH] x86_64: fix new out of line put_user()