Add comment in Autoconfig to specify which avx512 flags are supported
Add comment in Autoconfig to specify which avx512 flags are supported

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star