This has been previously requested on GitHub: https://github.com/raspberrypi/linux/issues/6622
As an experiment, I rebuilt our Debian kernel packages (in the hopes that only the -dbg package would be impacted).
Unfortunately, the image package is 32% larger with the kernel itself being 17% bigger (9.3M -> 11M):
383M linux-image-6.12.47+rpt-rpi-2712-dbg_6.12.47-1+rpt1_arm64.deb
42M linux-image-6.12.47+rpt-rpi-2712_6.12.47-1+rpt1_arm64.deb
As an experiment, I rebuilt our Debian kernel packages (in the hopes that only the -dbg package would be impacted).
Unfortunately, the image package is 32% larger with the kernel itself being 17% bigger (9.3M -> 11M):
383M linux-image-6.12.47+rpt-rpi-2712-dbg_6.12.47-1+rpt1_arm64.deb
42M linux-image-6.12.47+rpt-rpi-2712_6.12.47-1+rpt1_arm64.deb
Statistics: Posted by roliver — Mon Nov 17, 2025 2:36 pm