Use the same header for both Teensy 3.0 & 3.1