ich habe folgenden Bug auf meinem Debian:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=517586
Zur Lösung heisst es:
Kann mir jemand sagen wo und wie man highres=off in der kernel command line setzt...???As a follow up to my previous e-mail, I set highres=off on the kernel
command line on a hunch, and the machine has been up for 22 days now.
It looks like that made the problem go away, but that may just be
because the offending code is called less.