[Pkg-raspi-maintainers] Bug#966503: raspi-firmware: /etc/kernel/postinst.d/z50-raspi-firmware should deal with compressed kernels

[Lucas Nussbaum]

Package: raspi-firmware
Version: 1.20200212-1

Hi,

the RPI4 cannot boot compressed kernels. So kernels in /boot/firmware/
must be uncompressed.

There are several ways how raspi-firmware could help with that:
- when coping kernels to /boot/firmware, it could check that the kernel
  is not compressed, and issue an error if it is.
- better, it could uncompress kernels when copying them.

This is not a problem with the Debian kernel because they are shipped
uncompressed (apparently?). But it is a problem with kernels built with
'make bindeb-pkg' from upstream sources, that are compressed.

Lucas