config: make AVX and AVX512 configurable