Verified that the patch works w/ clang-19 -O0 and that avx-512 was selectedforthe CRC at runtime. Thanks for fixing this.
Regards,Deep (VMware)