Bug 14661

Created attachment 23866 [details]
lspci output and syslog extract

The system appears to run normally, except for a single message from
GNOME: "Your system had a kernel failure". However, hpet.c:390 is an
invocation of macro WARN_ON_ONCE, so I wonder if the system might be taking a performance hit if the fault is actually occurring many times (see below for more information on this).

I have attached a syslog, which I obtained after booting with hpet=verbose. 

I have also reported the fault as Debian bug report 557033. 
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=557033

The computer is a new Intel core i7-860, Chipset P55, Gigabyte P55UD3p, nVidia Geforce 9600GT. Two Seagate 1TB disks in mirrored RAID configuration.

History of my installation: Initially I installed the 32-bit version of
lenny: debian-502-i386-DVD-n.iso. When I booted the system, it wrote WARNING messages from hpet.c at the rate of megabytes per minute. I then installed the 64-bit version of lenny: debian-503-amd64-DVD-n.iso.

hpet.c:390 from linux-image-2.6.31-1-amd64 invokes WARN_ON_ONCE, but my previous
experience with the 32-bit distribution makes me believe that the fault is in fact occurring many times per second, and hence I wonder if there might be a performance hit.