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