Switch back to original core

platform.json

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