SCU_CFG_CPUMAX
const u_int ncpus = (scu_cfg & SCU_CFG_CPUMAX) + 1;
arm_cpu_max = 1 + (scu_cfg & SCU_CFG_CPUMAX);