hubd_select_device_configuration
user_conf_index = hubd_select_device_configuration(hubd, port,
int hubd_select_device_configuration(hubd_t *, usb_port_t,