Update Arduino-mbed core to v3.5.4

Author: valeros

platform.json

@@ -35,7 +35,7 @@
       "type": "framework",
       "optional": true,
       "owner": "platformio",
-      "version": "~3.1.1"
+      "version": "~3.5.4"
     },
     "tool-rp2040tools": {
       "type": "uploader",