Better keccakf_mul implementation.