CI: Cherry-pick our pins.csv patch.

Author: Gadgetoid

ci/micropython.sh

@@ -17,6 +17,7 @@ function micropython_clone {
     git clone https://github.com/micropython/micropython
     cd micropython
     git checkout $MICROPYTHON_VERSION
+    git cherry-pick -n 932f76c6ba64c5a3e68de3324556d9979f09303b
     git submodule update --init lib/pico-sdk
     git submodule update --init lib/cyw43-driver
     git submodule update --init lib/lwip
@@ -73,4 +74,4 @@ function cmake_build {
     ccache --show-stats || true
     cd build-$BOARD_NAME
     cp firmware.uf2 $RELEASE_FILE.uf2
-}
+}