I would ask you to ask me before closing this bug. Absence of the machine is not a fix for the bug.
I'm getting another Debian on another ThinkPad soon. I'll leave the bug open for a while.
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact firstname.lastname@example.org
Archive: email@example.com">http ://firstname.lastname@example.org