WHIRLPOOL_AVX512 -> 20260316 name -> "Whirlpool using AVX512" brief -> "Whirlpool using AVX512 instructions" avx512 x86_64 cpuid