Jeg slog
hpet til ved at tilføje
clocksource=hpet til
/boot/grub/menu.lst:
# defoptions=quiet splash clocksource=hpet
og opdatere grub:
$ sudo update-grub
efterfulgt af genstart, og nu ser situationen således ud:
$ dmesg | grep -i hpet
[ 0.000000] Command line: root=/dev/md1 ro quiet splash clocksource=hpet
[ 0.000000] ACPI: HPET 7D2F3000, 0038 (r1 INTEL DQ3510J 2CD MSFT 1000013)
[ 0.000000] ACPI: HPET id: 0x8086a301 base: 0xfed00000
[ 0.000000] Kernel command line: root=/dev/md1 ro quiet splash clocksource=hpet
[ 0.000000] hpet clockevent registered
[ 0.000000] TSC calibrated against HPET
[ 32.713853] hpet0: at MMIO 0xfed00000, IRQs 2, 8, 0, 0
[ 32.713856] hpet0: 4 64-bit timers, 14318180 Hz
[ 32.717777] Time: hpet clocksource has been installed.
[ 33.428180] hpet_resources: 0xfed00000 is busy
$
