Add printf for Teensy3