PROC_BOOT_CFG_FLAG_R5_SINGLE_CORE
set_cfg = PROC_BOOT_CFG_FLAG_R5_SINGLE_CORE;
single_cpu = cfg & PROC_BOOT_CFG_FLAG_R5_SINGLE_CORE ? 1 : 0;