feat: configure UART as stdio for RP2040

- Enable UART for stdio (PICO_STDIO_UART=1)
- Disable USB for stdio (PICO_STDIO_USB=0)

Author: schkovich

tools/libpico/make-libpico.sh

@@ -11,7 +11,10 @@ export PATH="$(cd ../../system/picotool; pwd):$PATH"
 rm -rf build-rp2040
 mkdir build-rp2040
 cd build-rp2040
-CPU=rp2040 cmake ..
+CPU=rp2040 cmake \
+          -DPICO_STDIO_UART=1 \
+          -DPICO_STDIO_USB=0 \
+          ..
 make -j
 
 # The develop branch of the SDK seems to have busted the RP2040 boot2.S files.