x86: properly handle I64