pub const CPUID_7_0_EBX_BMI2: u32 = 256;