Update pico-sdk to 1.5.1

bill88t · bill88t · commit 0aa7854d5b3f · 2023-06-19T18:00:49.000+03:00
diff --git a/ports/raspberrypi/sdk b/ports/raspberrypi/sdk
@@ -1 +1 @@
-Subproject commit 2ccab115de0d42d31d6611cca19ef0cd0d2ccaa7
+Subproject commit 6a7db34ff63345a7badec79ebea3aaef1712f374
