64-bit MOV should use 64-bit values
64-bit MOV should use 64-bit values

jcranmer/mcsema,trailofbits/mcsema,alessandrogario/mcsema,jcranmer/mcsema,trailofbits/mcsema,alessandrogario/mcsema,trailofbits/mcsema,jcranmer/mcsema,jcranmer/mcsema,chubbymaggie/mcsema,alessandrogario/mcsema,trailofbits/mcsema,chubbymaggie/mcsema,chubbymaggie/mcsema,chubbymaggie/mcsema,alessandrogario/mcsema