pub const CPUID_7_0_EBX_AVX512DQ: u32 = 131072;