INIT:GCC add call to HAL_Init

system_init, stops all on going timer.
gcc _start , perform zero initialized.
=> HAL_Init must be done again also in GCC toolchain

targets/TARGET_STM/TARGET_STM32F0/mbed_overrides.c

@@ -31,8 +31,6 @@
 void mbed_sdk_init() {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 }

targets/TARGET_STM/TARGET_STM32F1/mbed_overrides.c

@@ -32,8 +32,6 @@ void mbed_sdk_init()
 {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 }

targets/TARGET_STM/TARGET_STM32F3/mbed_overrides.c

@@ -32,8 +32,6 @@ void mbed_sdk_init()
 {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 }

targets/TARGET_STM/TARGET_STM32F4/mbed_overrides.c

@@ -33,10 +33,8 @@ void mbed_sdk_init()
 {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 }
 
 /**

targets/TARGET_STM/TARGET_STM32F7/mbed_overrides.c

@@ -35,10 +35,8 @@ void mbed_sdk_init()
 {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 }
 
 

targets/TARGET_STM/TARGET_STM32L0/mbed_overrides.c

@@ -32,8 +32,6 @@ void mbed_sdk_init()
 {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 }

targets/TARGET_STM/TARGET_STM32L1/mbed_overrides.c

@@ -35,10 +35,8 @@ void mbed_sdk_init()
 {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 
 #if defined(TARGET_XDOT_L151CC)
     if (PWR->CSR & PWR_CSR_SBF) {

targets/TARGET_STM/TARGET_STM32L4/mbed_overrides.c

@@ -32,8 +32,6 @@ void mbed_sdk_init()
 {
     // Update the SystemCoreClock variable.
     SystemCoreClockUpdate();
-#if !defined(TOOLCHAIN_GCC_ARM)
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
-#endif
 }