V
On my Raspberry Pi I see:
[1567048.328727] usb 1-1.2: new low-speed USB device number 4 using dwc_otg
[1567048.442001] usb 1-1.2: New USB device found, idVendor=1781, idProduct=0c9f
[1567048.442034] usb 1-1.2: New USB device strings: Mfr=1, Product=2, SerialNumber=0
[1567048.442049] usb 1-1.2: Product: Trinket
[1567048.442062] usb 1-1.2: Manufacturer: Adafruit
Which seems to be indicating a different driver, dwc_otg??