continue moving 64-bit stuff into X86InstrArithmetic.td