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 email@example.com
Archive: firstname.lastname@example.org">http ://email@example.com