[  294.697330] usb 1-1.1: USB disconnect, device number 5
[  296.238661] usb 1-1.1: new full speed USB device number 6 using usb20_otg
[  296.340451] usb 1-1.1: New USB device found, idVendor=16c0, idProduct=0483
[  296.340566] usb 1-1.1: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[  296.340653] usb 1-1.1: Product: USB Serial
[  296.340723] usb 1-1.1: Manufacturer: Teensyduino
[  296.340775] usb 1-1.1: SerialNumber: 12345
[  296.385994] cdc_acm: Unknown symbol kmem_cache_alloc_trace (err 0)
[  296.386085] cdc_acm: Unknown symbol __gnu_mcount_nc (err 0)