Support Teensy 3.1 by defining MCU option mk20dx256