pub const HYPERV_CPUID_MIN: u32 = 1073741829;