Update mbed build

Author: facchinm

cores/arduino/mbed/targets/TARGET_STM/TARGET_STM32H7/TARGET_STM32H747xI/TARGET_ENVIE/PinNames.h

@@ -351,10 +351,15 @@ typedef enum {
     STDIO_UART_RX = PA_10,
 #endif
 
-    // Generic signals namings
-    LED1        = PK_5,  // Red
-    LED2        = PK_6,  // Green
-    LED3        = PK_7,  // Blue
+    //Led mappings
+    LED_RED = PK_5,  //Red
+    LED_GREEN = PK_6,  //Green
+    LED_BLUE = PK_7,  //Blue
+
+    //mbed original LED naming
+    LED1 = LED_RED,
+    LED2 = LED_GREEN,
+    LED3 = LED_BLUE,
 
     USER_BUTTON = PC_13,
     // Standardized button names

variants/ENVIE_M4/defines.txt

@@ -45,7 +45,7 @@
 -DFEATURE_LWIP=1
 -D__FPU_PRESENT=1
 -D__MBED__=1
--DMBED_BUILD_TIMESTAMP=1581676053.4821324
+-DMBED_BUILD_TIMESTAMP=1582209375.0377994
 -D__MBED_CMSIS_RTOS_CM
 -DMBED_MPU_CUSTOM
 -DMBED_TICKLESS
@@ -57,6 +57,7 @@
 -DTARGET_CORDIO
 -DTARGET_CORTEX
 -DTARGET_CORTEX_M
+-DTARGET_CYW4343X
 -DTARGET_ENVIE
 -DTARGET_ENVIE_M4
 -DTARGET_FAMILY_STM32

variants/ENVIE_M4/libs/libmbed.a

@@ -349,6 +349,7 @@
 #define MBED_CONF_TARGET_LPTICKER_LPTIM_CLOCK                                 1                                                                                                // set by target:FAMILY_STM32
 #define MBED_CONF_TARGET_LPUART_CLOCK_SOURCE                                  USE_LPUART_CLK_LSE|USE_LPUART_CLK_PCLK1                                                          // set by target:FAMILY_STM32
 #define MBED_CONF_TARGET_LSE_AVAILABLE                                        1                                                                                                // set by target:FAMILY_STM32
+#define MBED_CONF_TARGET_LSE_BYPASS                                           1                                                                                                // set by target:ENVIE
 #define MBED_CONF_TARGET_MPU_ROM_END                                          0x0fffffff                                                                                       // set by target:Target
 #define MBED_CONF_TARGET_NETWORK_DEFAULT_INTERFACE_TYPE                       WIFI                                                                                             // set by target:ENVIE
 #define MBED_CONF_TARGET_TICKLESS_FROM_US_TICKER                              0                                                                                                // set by target:Target