Maybe to avoid confusion I should add that during the time of reporting
the bug, I had 2.6.32-13 already installed, but not rebooted yet. The
bug applies to 2.6.32-12.
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact firstname.lastname@example.org