As a result of a project I have been working on, I uncovered a couple of issues with the USB code for Teensy 3 in Teensyduino 1.52.

In routine usb_init(), file "cores/teensy3/usb_dev.c", lines...