[Pkg-raspi-maintainers] Bug#924315: raspi3-firmware: remove kernel.img and kernel7.img from firmware package

[Florian La Roche]

Package: raspi3-firmware
Version: 1.20190215-1
Severity: minor

Dear Maintainer,

raspi3-firmware also contains the kernel.img and kernel7.img files,
but could remove these files and only ship real firmware files.
I don't see benefit to ship another kernel image.

If you think otherwise, please just close this bug report. This is
really a minor issue.

best regards,

Florian La Roche


-- System Information:
Debian Release: buster/sid
  APT prefers testing
  APT policy: (500, 'testing'), (1, 'experimental')
Architecture: arm64 (aarch64)

Kernel: Linux 4.19.0-2-arm64 (SMP w/4 CPU cores)
Kernel taint flags: TAINT_CRAP
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages raspi3-firmware depends on:
ii  dosfstools  4.1-2

raspi3-firmware recommends no packages.

raspi3-firmware suggests no packages.

-- no debconf information