Fix TEE_BigIntMulMod