installed the 3.2 kernel $ dpkg -l | grep linux-image-3.2.0-0.bpo.2-amd64 ii linux-image-3.2.0-0.bpo.2-amd64 3.2.18-1~bpo60+1 Linux 3.2 for 64-bit PCs $ uname -srm Linux 3.2.0-0.bpo.2-amd64 x86_64 waiting to see if the bug happens again Manu