Can someone else confirm there is a typo in the boards.txt for the latest teensydunio's F_CPU @ 24 Mhz optimized? (Teensy 3.1) teensy31.menu.speed.24opt.build.fcpu=48000000