Teensy.mk: simplify setting of MCU and MCU_FLAG_NAME