Fork of mbed-dev build 137, last build before FAT file system appears to be broken. Also reduced HSE timeout time in STM4XX HAL

Fork of mbed-dev by mbed official

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
--- a/drivers/PortIn.h	Tue Feb 28 17:13:35 2017 +0000
+++ b/drivers/PortIn.h	Tue Mar 14 16:40:56 2017 +0000
@@ -21,7 +21,7 @@
 #if DEVICE_PORTIN
 
 #include "hal/port_api.h"
-#include "platform/critical.h"
+#include "platform/mbed_critical.h"
 
 namespace mbed {
 /** \addtogroup drivers */