mbedmicro/mbed — pull request #412 by sg- (2014-07-22 14:19:50+00:00)
Title: Add new target support

Since the target K64 is named the same as the MCU I had to add the target name to the new platform name. Not sure if this is the best way.