pub const PT_HP_CORE_KERNEL: u32 = 1610612739;