Update to latest release

Author: maxgerhardt

platform.json

@@ -47,7 +47,7 @@
       "type": "framework",
       "optional": true,
       "owner": "earlephilhower",
-      "version": "https://github.com/earlephilhower/arduino-pico.git#4fdcc6e5ac4c3f7d84769f7c31dc4efe18ab14ee"
+      "version": "https://github.com/earlephilhower/arduino-pico.git#9d0b9bef67271222b594fdead25f21d69b22dd4c"
     },
     "tool-rp2040tools": {
       "type": "uploader",