On Mon, Sep 15, 2025 at 2:30 PM Eben King <eben@gmx.us> wrote: > > Hi, I have an i5 machine with Debian 12.11 and kernel 6.1.0-39-amd64. > > [...] Update the BIOS or UEFI before you go down a rabbit hole with the kernel or drivers. The BIOS and UEFI are just another buggy program that needs updating on occasion. Jeff