Changed to mk20dx128.c from PJRC Teensyduino Core Library

https://github.com/PaulStoffregen/cores/tree/master/teensy3