Import Teensyduino 1.19 modifications