Tentative KL25Z I2C HAL fix

Fork of mbed-src by mbed official

Revision:
6:6dfdb79ccc45
Parent:
4:c4bfb462ca53
diff -r ab1c572cb536 -r 6dfdb79ccc45 capi/us_ticker_api.c
--- a/capi/us_ticker_api.c	Fri Mar 15 17:00:57 2013 +0000
+++ b/capi/us_ticker_api.c	Mon Mar 18 10:36:46 2013 +0000
@@ -15,6 +15,7 @@
  */
 #include <stddef.h>
 #include "us_ticker_api.h"
+#include "cmsis.h"
 
 static ticker_event_handler event_handler;
 static ticker_event_t *head = NULL;