Alder lake's AVX-512 comes with a significant asterisk. It's only in the P-cores (so can only be turned on if you disable the E-cores), isn't officially supported, and can't be turned on in some motherboards IIRC.
We should be seeing better AVX-512 support with CPUs in the coming years though.
According to that link, Zen 4 will only have a very limited kind of AVX-512 instructions, for working with half-precision floats. It won't even have the base AVX-512 instructions (the F set).
Icelake and tigerlake. On AWS, this is m6i/c6i. [edit] earlier AWS machines (c5/m5) have AVX512 also, but not the subsets required by dav1d's assembly.