Replace avx-512 with avx512f to match llvm side and what gcc patches appear to be using.