I have Intel 4000 HD graphics too, and I installed a newer libre kernel Intel
graphics updates from:
https://launchpad.net/~ubuntu-x-swat/+archive/intel-graphics-updates
Standard Toutatis and Debian Wheezy have too old kernel and intel drivers for
Ivy Bridge CPU and integrated graphics. They are too unstable for Ivy Bridge.
Several times my whole machine hung with those, even though even Trisquel 5.5
and Debian Squeeze booted to graphical desktop.
I don't remember exactly but it was maybe 3.4 series or 3.6 series kernel
which begun to have stable Ivy Bridge support. 3.2 is crap for Ivy.
