On 30 juil. 2020 12:36, Lucas Nussbaum <lucas at debian.org> wrote: [...] > OK, I'm retitling the bug to clarify that it's not about RPI4 support > per se, but rather not using /boot/firmware, since the RPI4 can boot > from ext4. Thanks. Christian