pub const CPUID_EXT3_SKINIT: u32 = 4096;