On Wednesday, 6 August 2025 at 21:13, Benjamin Martin <benjamin@bmg7.com> wrote: > Any more info on this bug? I'll do some more investigation and consider a patched kernel. Are you able to build a kernel locally if I provide a patch or would you prefer a binary kernel .deb package? @Uwe: do we have a mechanism to offer 'trusted' custom builds via Debian infrastructure?