Dear all, I tested kernel 3.2.0-4.drm-amd64 #1 SMP Debian 3.2.35-3~jcristau.1 x86_64 GNU/Linux on a machine with hd4000 graphics Intel(R) Core(TM) i3-3225 CPU @ 3.30GHz I experienced no more freezes for one week, and currently no other troubles. With the original wheezy kernel, the system froze approximately once per day. Hope the modified kernel will make it's way into wheezy. Thanks to all Thomas