pub const PT_HP_CORE_KERNEL: u32 = _; // 1_610_612_739u32