On 12/28/25 06:03, Andy Smith wrote:
Here's how to report the bug:https://kernel-team.pages.debian.net/kernel-handbook/ch-bugs.html#s9.2 (short story is type "reportbug kernel" while booted with the kernel with the problem.)
Done: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1124288 David

