pin platform-raspberrypi to 4e22a0d

pins framework-arduinopico @ 1.50600.0+sha.6a1d13e9

platformio.ini

@@ -99,7 +99,7 @@ lib_deps =
 extends = arduino_base
 upload_protocol = picotool
 board_build.core = earlephilhower
-platform = https://github.com/maxgerhardt/platform-raspberrypi.git
+platform = https://github.com/maxgerhardt/platform-raspberrypi.git#4e22a0d ; framework-arduinopico @ 1.50600.0+sha.6a1d13e9
 build_flags = ${arduino_base.build_flags}
   -D RP2040_PLATFORM
 

variants/rpi_picow/platformio.ini

@@ -1,6 +1,5 @@
 [rpi_picow]
 extends = rp2040_base
-platform = https://github.com/maxgerhardt/platform-raspberrypi.git
 board = rpipicow
 board_build.core = earlephilhower
 board_build.filesystem_size = 0.5m