Teensy core support libraries for teensy3-toolchain