It is probably the case that the -x<code> option from AX_CC_MAXOPT is sufficient to get AVX support