pub const CPUID_7_0_ECX_VBMI: u32 = 2;