upgrade rpis

[maybeanerd]

two nodes are raspberry pies, and they are running dietpi. Currently it's debian 11, and we could follow this guide to go to v12:

https://dietpi.com/blog/?p=3128

Specifically, we could run the migration script
sudo bash -c "$(curl -sSf 'https://raw.githubusercontent.com/MichaIng/DietPi/master/.meta/dietpi-bookworm-upgrade')"