USB hotplug question