x86: fix 32-bit case of __get_user_asm_u64()