net6501: Timer problems with Debian, no HPET support detected

Hi

I tried Debian/Ubuntu with different kernels 2.6.32 and 2.6.38 on net6501-70 BIOS 1.41a. All do not detect the HPET.

Kernel timer interrupt frequency is approx. 1000 Hz instead of 4000 Hz or higher with LowLatency kernel. Same kernels on other motherboards work fine.

cat /proc/timer_list does not list hpet and shows
.resolution: 999848 nsecs instead of 1 nsecs

Any workaround?

Regards George