JIT64: faster implementation of mtcrf