minor correction to det_mod_pk_mul_add_2x2
put to use MULADD_pk_pointer()