Proper AVX check