Merge pull request #248 from 0xc0170/master

K64F - addition to the build release script
NMI handler is now in mbed_overrides.c
Rename KSDK to KPSDK. Required for live compiles.