It’s one of those Sundays when I’ve got some spare time, and decided to upgrade an existing Linux kernel into the latest stable release (as I write this, the latest stable is 3.12.5) on one of my Debian VMs. Continue reading →