Import Teensyduino 1.20's patches