isn't avx-512 one of the more poorly supported set?