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