NMI handler is now in mbed_overrides.c
Rename KSDK to KPSDK. Required for live compiles.
Added K64F to tests