Would it be possible to configure the second USB device to be used for flashing and USBSerial? I would like to break the USB port out to a sturdier USB C port, but after preliminary research it looks like the USB pads on the bottom of the Teensy 4.0 are only usable for USB Host by default. Is this something that I could change with a (presumably large) patch to the bootloader and USB Serial libraries, or is there a hardware limitation?