Arduino-Pico update, fixes lwip, SPI, better Ethernet interrupt performance

Author: maxgerhardt

platform.json

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