Fix test related to AVX instructions.