pub const CPUID_EXT2_PSE36: u32 = 131072;