added check for avx512_regs and hex representation change per request

src/x86/isa.c

diff --git a/src/x86/isa.c b/src/x86/isa.c
index 10da3dc..0a10be7 100644
--- a/src/x86/isa.c
+++ b/src/x86/isa.c
@@ -432,7 +432,7 @@
     /*
 	 * AVX 10.1 instructions:
 	 */
-    isa.avx10_1 = (structured_feature_info1.edx & UINT32_C(1 << 19));
+    isa.avx10_1 = avx512_regs && !!(structured_feature_info1.edx & UINT32_C(0x00080000));
 	
 	/*
 	 * AVX512PF instructions: