pub const CPUID_7_0_EBX_AVX512ER: u32 = 134217728;