Meine Herren,
Meine Linux-Installation hängt sich unregelmäßig auf. Dann geht Nichts mehr, ich kann nicht mal mehr x abschießen oder neustarten, dann hilft nur noch den Netzschalter umzulegen.
Es lag wohl nicht an den Treibern, sondern am Linux-Kernel.
Ich bin dieser Anleitung (http://www.howtoeverything.net/linux/hardware/random-freezes-integrated-hd-4000-graphics) gefolgt und das Problem scheint behoben.