[PATCH] x86_64: fix put_user for 64-bit constant