pub const CPUID_7_0_EBX_BMI1: u32 = 8;