I have experienced periodic hard lockups (random total freeze -- only the power button responds -- every couple of weeks) on my Linux Mint Mate Maya 32-bit installation on a Lenovo ThinkPad X230 with the HD 4000 graphics. Apparently this has something to do with a problem with the 3.2 kernel not playing nicely with the graphics hardware, and upgrading to the 3.4 kernel fixes it. I am reluctant to upgrade, however, because I really hate those long chains of broken dependencies that invariably appear in these situations. Can someone help me figure out when (or if) a fix for this hard freeze issue is expected in the supported kernel? Am I better off rolling up my sleeves and doing some tinkering, or am I better off just waiting for a fix?