Another datapoint (this time on Linux/ubuntu 18.04):
[ 83.507607] usb 1-14.4: new low-speed USB device number 18 using xhci_hcd
[ 83.587618] usb 1-14.4: device descriptor read/64, error -32
[ 83.775540] usb 1-14.4: device descriptor read/64, error -32
[ 83.963448] usb 1-14.4: new low-speed USB device number 19 using xhci_hcd
[ 84.043433] usb 1-14.4: device descriptor read/64, error -32
[ 84.231360] usb 1-14.4: device descriptor read/64, error -32
[ 84.339591] usb 1-14-port4: attempt power cycle
[ 85.507169] usb 1-14-port4: Cannot enable. Maybe the USB cable is bad?
[ 86.358866] usb 1-14-port4: Cannot enable. Maybe the USB cable is bad?
[ 86.359176] usb 1-14-port4: unable to enumerate USB device
And indeed it was (one cable swap later)....
[ 138.840224] usb 1-14.4: new full-speed USB device number 22 using xhci_hcd
[ 138.942059] usb 1-14.4: New USB device found, idVendor=16c0, idProduct=0442
[ 138.942065] usb 1-14.4: New USB device strings: Mfr=1, Product=5, SerialNumber=3
[ 138.942069] usb 1-14.4: Product: Axoloti Core
[ 138.942073] usb 1-14.4: Manufacturer: Axoloti
[ 138.942077] usb 1-14.4: SerialNumber: 0045001E3237511832333637