lib/pico-sdk: Fix Pico SDK fetching develop picotool.

Gadgetoid · dpgeorge · commit cbc6aed8facf · 2025-07-24T13:51:02.000+10:00
SDK 2.1.1 shipped with PICOTOOL_FETCH_FROM_GIT configured to fetch the
"develop" branch. This broke downstream CI, which was trusting Pico
SDK to fetch the correct version.

RPi have added a "2.1.1-correct-picotool" tag which fixes this.

lib/pico-sdk: Bump to "2.1.1-correct-picotool" tag.

Signed-off-by: Phil Howard &lt;github@gadgetoid.com&gt;
diff --git a/lib/pico-sdk b/lib/pico-sdk
@@ -1 +1 @@
-Subproject commit bddd20f928ce76142793bef434d4f75f4af6e433
+Subproject commit 9a4113fbbae65ee82d8cd6537963bc3d3b14bcca
