Use AVX2 as default even on AVX512 systems