Update Arduino-mbed core to v4.2.4

Resolves #838

Author: valeros

platform.json

@@ -214,7 +214,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~4.2.1"
+      "version": "~4.2.4"
     },
     "framework-stm32cubef0": {
       "type": "framework",