Constant SOC_HP_CPU_HAS_MULTIPLE_CORES 

pub const SOC_HP_CPU_HAS_MULTIPLE_CORES: u32 = 1;