Many THANKS to Julien and Ben for fixing this (and pending) bugs. I have immediately switched from vanilla 3.4 kernel to Debian's 3.2.0-39-1 from unstable. Ingo