[Pkg-raspi-maintainers] Bug#948712: raspi-firmware: Please add support for Raspberry Pi4

[Gunnar Wolf]

Hello,

As far as I understand, the CPU in the RPi4 is a *completely*
different beast from the ones in the rest of the family. It seems it
will not require a binary firmware loader anymore!

Right now, it is not *yet* bootable using the stock Linux kernel, but
there are people working on its support. I have asked them to update
this bug when our kernel can boot on RPi4.