pub const CPUID_7_0_EBX_ADX: u32 = 524288;