sispmctl_device: permit selecting a device