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
