pub const CPUID_EXT3_TOPOEXT: u32 = 4194304;