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:
150:02e0a0aed4ec
Parent:
149:156823d33999
--- a/targets/TARGET_STM/TARGET_STM32F3/mbed_overrides.c	Fri Oct 28 11:17:30 2016 +0100
+++ b/targets/TARGET_STM/TARGET_STM32F3/mbed_overrides.c	Tue Nov 08 17:45:16 2016 +0000
@@ -32,8 +32,6 @@
 {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 }