Add Teensyduino 1.19's patches