At the last minute they got strapped to efficiency cores (Gracemont) that didn't implement AVX-512, and the schedulers of OSes they cared about running couldn't handle heterogeneous core features. Because of that they probably didn't finish verification of AVX-512 on the Golden Cove cores.