i wonder what's the proper hotplug value for udev