O sistema foi atualizado automaticamente para o 3.8.0-36-generic, e os problemas ainda existem (eu esperava que fosse um "onder").
Na prática, "resolvi" isso fixando o kernel -34, fazendo o seguinte:
sudo apt-get purge linux-headers-3.8.0-35 linux-headers-3.8.0-35-generic linux-image-3.8.0-35-generic
sudo apt-get purge linux-headers-3.8.0-36 linux-headers-3.8.0-36-generic linux-image-3.8.0-36-generic
Em seguida, execute:
sudo update-grub
E fixando o kernel -34 com:
sudo apt-mark hold linux-headers-3.8.0-34
sudo apt-mark hold linux-headers-3.8.0-34-generic
sudo apt-mark hold linux-image-3.8.0-34-generic
E verificar isso via:
dpkg -l | grep ^h
hi linux-headers-3.8.0-34 3.8.0-34.49~precise1 Header files related to Linux kernel version 3.8.0
hi linux-headers-3.8.0-34-generic 3.8.0-34.49~precise1 Linux kernel headers for version 3.8.0 on 64 bit x86 SMP
hi linux-image-3.8.0-34-generic 3.8.0-34.49~precise1 Linux kernel image for version 3.8.0 on 64 bit x86 SMP