bn/bn_exp.c: prefer MULX/AD*X over AVX2.