[PATCH] x86_64: Clean up copy_*_user