When I do the steps:
sudo apt-get update
sudo apt-get dist-upgrade
I do not get a new kernel.
Anyway, the Kernel version on the system seams to be more current then the one mentioned in the post above:
df@feretti-virt:~$ uname -r
3.13.0-29-generic
So either I am missing something or the bug does still exist.
When I do the steps:
sudo apt-get update
sudo apt-get dist-upgrade
I do not get a new kernel.
Anyway, the Kernel version on the system seams to be more current then the one mentioned in the post above:
df@feretti-virt:~$ uname -r
3.13.0-29-generic
So either I am missing something or the bug does still exist.