[Pkg-raspi-maintainers] Bug#865069: Bug#865069: uncompress kernel images

[Martin Schitter]

On 2017-06-19 11:39, Michael Stapelberg wrote:
> Could you supply a tested patch which accomplishes this please? I only
> use the Debian kernel images. Thanks.

you can find a workaround for this issue at:

https://gitlab.com/mash_graz/raspi3-firmware/commit/c91645aea40c545d3c4a1cdab5fa8899abc8ceb7

i finally didn't use extract-vmlinux from the kernel scripts, because it 
doesn't work for arm kernels (see: 
https://patchwork.kernel.org/patch/8120831/), but the 7zip solution also 
doesn't without flaws.

there is also another fix in this branch, to update /boot/firmware on 
kernel remove.

https://gitlab.com/mash_graz/raspi3-firmware/commit/c206b21e56390d9eed4ef6ddf13621d743c81c91