Because that's what configure used to do (
https://lists.nongnu.org/archive/html/qemu-devel/2022-02/msg00650.html)...
It can surely be changed but AVX512 is known to limit processor frequency. I am not sure if the limitation is per core or extends to multiple cores, and it would be a pity if guests were slowed down even further during migration.
Especially after the bulk phase buffer_is_zero performance matters a lot less so you'd pay the price of AVX512 for little gain. After the bulk phase it may even make sense to just use SSE, since even AVX requires a voltage transition[1] from what I saw at
https://travisdowns.github.io/blog/2020/01/17/avxfreq1.html.
Paolo
[1] voltage transitions slow down the processor during the transition