Raspberry Pi reference 2025-10-01
Generated using pi-gen, https://github.com/RPi-Distro/pi-gen, abc3ec58a40bc6bddd99897387118963404f96e5, stage2
