pico-sdk: Import picotool as a dependency

We were previously not handling picotool at all, and
pico-sdk would download picotool itself, at build time.

This means that the source archive, if created, would
not contain picotool. While not strictly required, for
complete corresponding source, since it's a toolchain
and not the actual pico-serprog firmware, it is my policy
that releases must include full corresponding source code,
when it is feasible to do so.

I must say, I intensely dislike cmake, with such burning
passion; I am thoroughly displeased by how hacky this is,
but it works and now nothing is in my way for a Libreboot
20241206 rev8 release!

Signed-off-by: Leah Rowe <leah@libreboot.org>

config/data/pico-serprog/mkhelper.cfg

@@ -7,3 +7,4 @@ serx="$sersrc/build/pico_serprog.uf2"
 picosdk="src/pico-sdk"
 serdir="$picosdk/src/boards/include/boards"
 premake="mkserprog pico"
+picotool="$PWD/src/picotool/xbmkbin"

config/git/pico-serprog/pkg.cfg

@@ -3,4 +3,4 @@
 rev="e75e3a20e63269a5e3189bc2e49a6a81d45a636a"
 url="https://codeberg.org/libreboot/pico-serprog"
 bkup_url="https://git.disroot.org/libreboot/pico-serprog"
-depend="pico-sdk"
+depend="pico-sdk picotool"

config/git/pico-serprog/rp2040-serprog

@@ -1 +0,0 @@
-config/git/rp2040-serprog

config/git/picotool/pkg.cfg

@@ -0,0 +1,5 @@
+# SPDX-License-Identifier: GPL-3.0-or-later
+
+rev="df21059f7ca6f1babc7f1f3b92122cacffc85951"
+url="https://github.com/raspberrypi/picotool"
+bkup_url="https://codeberg.org/libreboot/picotool"