BOOT_NCPUS_NAME
if (do_bsys_getproplen(NULL, BOOT_NCPUS_NAME) >= 0)
bsetpropsi(BOOT_NCPUS_NAME, cpu_count);
if (do_bsys_getproplen(NULL, BOOT_NCPUS_NAME) >= 0)
bsetpropsi(BOOT_NCPUS_NAME, max_id+1);
if (bootprop_getval(BOOT_NCPUS_NAME, &prop_value) != 0) {