Sure, just edit {Arduino}/hardware/teensy/avr/boards.txt

Looks like we already have the support code in mk20dx128.c to implement those speeds. But of course that code should be considered...