Nevermind, upgrading the kernel to 3.12-1 (or probably "3.6 or later", as hinted by the error messages) fixes the issue (for some reason I was expecting "apt-get dist-upgrade" to upgrade the kernel as well). Regards, S.