sbdp_disconnect_cpu
rv = sbdp_disconnect_cpu(hdp, dip, cpuid);
int sbdp_disconnect_cpu(sbdp_handle_t *, dev_info_t *, processorid_t);