Merge pull request arduino#68 from facchinm/portenta_m4_interrupt

Portenta: M4: recompile core

Author: facchinm

bootloaders/PORTENTA_H7/portentah7_bootloader_mbed_fs.bin

@@ -1,5 +1,6 @@
 
 -DARM_MATH_CM4
+-DBT_UART_NO_3M_SUPPORT
 -D__CMSIS_RTOS
 -DCOMPONENT_4343W=1
 -DCOMPONENT_CYW43XXX=1
@@ -42,13 +43,15 @@
 -DFEATURE_LWIP=1
 -D__FPU_PRESENT=1
 -D__MBED__=1
--DMBED_BUILD_TIMESTAMP=1595839610.350798
+-DMBED_BUILD_TIMESTAMP=1602145987.1703434
 -D__MBED_CMSIS_RTOS_CM
 -DMBED_HEAP_STATS_ENABLED=1
 -DMBED_MEM_TRACING_ENABLED=1
 -DMBED_MPU_CUSTOM
 -DMBED_STACK_STATS_ENABLED=1
 -DMBED_TICKLESS
+-DMBEDTLS_FS_IO
+-DMBEDTLS_SHA1_C
 -DMETAL_INTERNAL
 -DMETAL_MAX_DEVICE_REGIONS=2
 -DNO_ATOMIC_64_SUPPORT

bootloaders/PORTENTA_H7/portentah7_bootloader_mbed_fs.elf

@@ -73,6 +73,7 @@
 #define MBED_CONF_CORDIO_PREFERRED_TX_POWER                                   0                                                                                                // set by library:cordio
 #define MBED_CONF_CORDIO_ROUTE_UNHANDLED_COMMAND_COMPLETE_EVENTS              1                                                                                                // set by library:cordio
 #define MBED_CONF_CORDIO_RX_ACL_BUFFER_SIZE                                   70                                                                                               // set by library:cordio
+#define MBED_CONF_CY_PSOC6_WHD_PRESENT                                        1                                                                                                // set by library:cy_psoc6_whd
 #define MBED_CONF_DRIVERS_QSPI_CSN                                            QSPI_FLASH1_CSN                                                                                  // set by library:drivers
 #define MBED_CONF_DRIVERS_QSPI_IO0                                            QSPI_FLASH1_IO0                                                                                  // set by library:drivers
 #define MBED_CONF_DRIVERS_QSPI_IO1                                            QSPI_FLASH1_IO1                                                                                  // set by library:drivers