[STM32F4 STM32F7] Overwrite HAL_Delay to allow SD example (#1624)

* [STM32F4 STM32F7] Overwrite HAL_Delay to allow SD example

The weak function HAL_Delay is overwritten to use us ticker API. 
The user can use stm32f[4/7]xx_hal_sd.c that calls
HAL_Delay
This will allow us to add an example detecting / writing / reading an SD
card on DISCO_F469NI and DISCO_F746NG

(cherry picked from commit d491e3c)

Author: adustm

libraries/mbed/targets/hal/TARGET_STM/TARGET_STM32F4/mbed_overrides.c

@@ -26,6 +26,7 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 #include "cmsis.h"
+#include "us_ticker_api.h"
 
 // This function is called after RAM initialization and before main.
 void mbed_sdk_init()
@@ -35,3 +36,18 @@ void mbed_sdk_init()
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
 }
+
+/**
+  * @brief This function provides accurate delay (in milliseconds) based
+  *        on variable incremented.
+  * @note This function is the modified version of the __weak version contained in
+  *       stm32f4xx_hal.c, using us_ticker
+  * @param Delay: specifies the delay time length, in milliseconds.
+  * @retval None
+  */
+void HAL_Delay(__IO uint32_t Delay)
+{
+    uint32_t start = us_ticker_read();
+    while ((us_ticker_read() - start) < (uint32_t)(Delay * 1000));
+}
+

libraries/mbed/targets/hal/TARGET_STM/TARGET_STM32F7/mbed_overrides.c

@@ -26,6 +26,7 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 #include "cmsis.h"
+#include "us_ticker_api.h"
 
 HAL_StatusTypeDef HAL_Init(void);
 
@@ -37,3 +38,19 @@ void mbed_sdk_init()
     // Need to restart HAL driver after the RAM is initialized
     HAL_Init();
 }
+
+
+/**
+  * @brief This function provides accurate delay (in milliseconds) based
+  *        on variable incremented.
+  * @note This function is the modified version of the __weak version contained in
+  *       stm32f7xx_hal.c, using us_ticker
+  * @param Delay: specifies the delay time length, in milliseconds.
+  * @retval None
+*/
+void HAL_Delay(__IO uint32_t Delay)
+{
+    uint32_t start = us_ticker_read();
+    while ((us_ticker_read() - start) < (uint32_t)(Delay * 1000));
+}
+