I'm using Makefiles rather than the Arduino IDE from https://github.com/sudar/Arduino-Makefile and it supports Teensy nicely except for a small problem. It reads the boards.txt file for a few items and when it grabs F_CPU it looks for the highest frequency. Current your boards.txt has defines...