mbed lib with startup delay fixed for Nucleo401RE

Fork of mbed-src by mbed official

Revision:
564:24a7119bd73a
Parent:
547:88c982c8f758
diff -r 536c9fb088a0 -r 24a7119bd73a api/TimerEvent.h
--- a/api/TimerEvent.h	Wed Jun 10 10:00:08 2015 +0100
+++ b/api/TimerEvent.h	Thu Jun 11 09:15:08 2015 +0100
@@ -17,6 +17,7 @@
 #define MBED_TIMEREVENT_H
 
 #include "ticker_api.h"
+#include "us_ticker_api.h"
 
 namespace mbed {