Michael S Gilbert writes
> 'apt-get update && apt-get upgrade' followed by a reboot into the new
> kernel should bring you up to date.
Since I just download the kernel last week I did not really
believe your advice but I have rebooted and the problem appears
gone!
Cheers,
Thomas Krichel http://openlib.org/home/krichel
RePEc:per:1965-06-05:thomas_krichel
skype: thomaskrichel