Merge branch 'avx512'