The crashes with vanilla 3.4.23 kernel as reported im http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=692234#443 could now be assigned to a corrupted VM in VirtualBox 4.1.18 which did not survive the many kernel updates in saved state. Moreover those crashes were not as hard as with Debian 3.2.32 kernel - power consumption remained normal and reset button responded immediately.
I am now with vanilla kernel 3.4.24 from kernel.org and all is fine. /Ingo -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org