pub const HAVE_CPUID_COUNT: u32 = 1;