NMI handler is now in mbed_overrides.c
Rename KSDK to KPSDK. Required for live compiles.
Added K64F to tests
Update AnalogOut pinname in the test
K64F - port HAL corrections
K64F - pwm clock set store
Merge pull request #251 from 0xc0170/master

K64F - port HAL corrections, pwm clock configuration store
Added "supported_form_factors" list attr to targets which  defines TARGET_FF_* symbols for the supported form factors.
Unified some tests for targets that support Arduino form factor to use Arduino style pin names.
Merge branch 'master' of https://github.com/sg-/mbed