pub const CPUID_7_0_EBX_HLE: u32 = 16;