[Cin] AVX512 asm instructions - idea for configure.ac