Thank you for your reply, Bastian, but adding "hpet=disable" in the
Kernel command line at start-up didn't make any difference.
I see that there is already an update which is supposed to take care of
this problem in Sid, so I guess I'll wait and see what happens when that
makes it into Lenny.
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact firstname.lastname@example.org