pub const CPUID_7_0_ECX_LA57: u32 = 65536;