Hi Lucas,
Thanks so much for your work on this! I took your older raspi_4.yaml
and made it auto-generated, and just updated it now as well for the
5.6 boot fix. You can see that commit here:
https://salsa.debian.org/dilinger/image-specs/-/commit/462abf1d43ca3c9037f9fc8a3a36674082dc2d0a
That's now in my rpi4 branch, which I had previously requested that
Gunnar merge. The MR fixed a minor bug and prepped the Makefile for
adding and removing platforms. The merge request is here:
https://salsa.debian.org/raspi-team/image-specs/-/merge_requests/9