One thing I didn’t know when I swapped Ubuntu for Linux Mint is that Linux Mint marks software packages by how safe they are on a scale of 1 to 5. By default, only packages level 1 to 3 are installed. Kernel upgrades are marked as dangerous packages (level 5 — ones that might break the system), so they won’t be installed or shown. To install/show them, one has to change the preferences in Update Manager. (Or do a manual upgrade via sudo apt-get dist-upgrade
).
Apparently, Intel Ivy Bridge processors that comes with HD Graphics 4000 GPU are a known problem for Linux kernel 3.2 series, which is used by Ubuntu 12.04 and Linux Mint 13 (both LTS). My Samsung Series 9 laptop, which uses a Intel Core i5-3317U processor), is currently affected by this bug https://bugs.launchpad.net/ubuntu/+source/linux/+bug/999910 (also http://forum.linuxmint.com/viewtopic.php?f=47&t=112543). It seems the proposed solution is to either move to kernel 3.4 or upgrade to Ubuntu 12.10 or Linux Mint 13, as they use kernel 3.5.
To change the kernel version, the instructions are here: https://wiki.ubuntu.com/Kernel/MainlineBuilds. I certainly hope that fixes for this bug will make it to kernel 3.2 as well.
p/s: a quick way to get system information: inxi -F
p/p/s: a useful tool to install for laptops: sudo apt-get install laptop-mode-tools
. Once installed, it can be configured via /etc/laptop-mode/laptop-mode.conf
.