[K22F] Sleep/deepsleep verified to work

Works properly with waking from interruptin, not from timeout from
regular sleep, but thats the nature of the current KSDK Ticker timer
used, can be changed later on :)

libraries/mbed/targets/hal/TARGET_Freescale/TARGET_KPSDK_MCUS/TARGET_K22F/device.h

@@ -45,7 +45,7 @@
 #define DEVICE_LOCALFILESYSTEM  0
 #define DEVICE_ID_LENGTH       24
 
-#define DEVICE_SLEEP            0
+#define DEVICE_SLEEP            1
 
 #define DEVICE_DEBUG_AWARENESS  0
 

libraries/tests/mbed/sleep/main.cpp

@@ -2,6 +2,8 @@
 
 #if defined(TARGET_LPC4088)
 InterruptIn wkp(P2_10);
+#elif defined(TARGET_K22F)
+InterruptIn wkp(D0);
 #else
 InterruptIn wkp(p14);
 #endif

workspace_tools/tests.py

@@ -312,7 +312,7 @@ TESTS = [
         "source_dir": join(TEST_DIR, "mbed", "sleep"),
         "dependencies": [MBED_LIBRARIES, TEST_MBED_LIB],
         "duration": 30,
-        "mcu": ["LPC1768", "LPC11U24", "LPC4088","NRF51822"]
+        "mcu": ["LPC1768", "LPC11U24", "LPC4088","NRF51822","K22F"]
     },
     {
         "id": "MBED_5", "description": "PWM",