pub const CPUID_7_0_EBX_SHA_NI: u32 = 536870912;