bsetpropsi
bsetpropsi(PLAT_MAX_NCPUS_NAME, cpu_possible_count);
bsetpropsi(BOOT_MAX_NCPUS_NAME, cpu_count);
bsetpropsi(BOOT_NCPUS_NAME, cpu_count);
bsetpropsi(PLAT_MAX_NCPUS_NAME, proc_num);
bsetpropsi(BOOT_NCPUS_NAME, max_id+1);