Remove the AVX512DQ requirement from crc32c_x86.cc

1. 1. Summary

`AVX512DQ` is not needed in this case because `AVX512VL` and `AVX512F` generate the same assembly code: https://godbolt.org/z/15M4ds9x5

I found this while running benchmarks in my [Python library](https://github.com/lava-sh/crc32c-rs); on [my hardware](https://github.com/lava-sh/crc32c-rs/tree/main/benchmarks/python#system-information), the MariaDB CRC32C version was faster for the following sizes: `1..48 B`, `256 B..2 KiB`, `4 KiB..16 KiB`; yes, I know that performance depends heavily on the CPU, and each CPU will have its own potentially fastest implementation (info from this repo: https://github.com/corsix/fast-crc32)