--- r232085-pass	2012-11-11 20:15:28.617000000 +0100
+++ r232086-fail	2012-11-11 19:27:09.807500000 +0100
@@ -3,7 +3,7 @@
 kernel: Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
 kernel: The Regents of the University of California. All rights reserved.
 kernel: FreeBSD is a registered trademark of The FreeBSD Foundation.
-kernel: FreeBSD 9.0-STABLE #0 r232085: Sun Nov 11 19:27:08 CET 2012
+kernel: FreeBSD 9.0-STABLE #0 r232086: Sun Nov 11 18:19:26 CET 2012
 kernel: root@poring:/usr/obj/storage/users/root/freebsd-reg/sys/PORING amd64
 kernel: CPU: Intel(R) Atom(TM) CPU D525   @ 1.80GHz (1800.11-MHz K8-class CPU)
 kernel: Origin = "GenuineIntel"  Id = 0x106ca  Family = 6  Model = 1c  Stepping = 10
@@ -28,12 +28,22 @@
 kernel: kbd1 at kbdmux0
 kernel: acpi0: <INTEL D525MW> on motherboard
 kernel: acpi0: Power Button (fixed)
-kernel: Timecounter "ACPI-fast" frequency 3579545 Hz quality 900
-kernel: acpi_timer0: <24-bit timer at 3.579545MHz> port 0x408-0x40b on acpi0
 kernel: cpu0: <ACPI CPU> on acpi0
 kernel: cpu1: <ACPI CPU> on acpi0
 kernel: cpu2: <ACPI CPU> on acpi0
 kernel: cpu3: <ACPI CPU> on acpi0
+kernel: atrtc0: <AT realtime clock> port 0x70-0x71,0x74-0x77 irq 8 on acpi0
+kernel: Event timer "RTC" frequency 32768 Hz quality 0
+kernel: attimer0: <AT timer> port 0x40-0x43,0x50-0x53 irq 0 on acpi0
+kernel: Timecounter "i8254" frequency 1193182 Hz quality 0
+kernel: Event timer "i8254" frequency 1193182 Hz quality 100
+kernel: hpet0: <High Precision Event Timer> iomem 0xfed00000-0xfed03fff on acpi0
+kernel: Timecounter "HPET" frequency 14318180 Hz quality 950
+kernel: Event timer "HPET" frequency 14318180 Hz quality 450
+kernel: Event timer "HPET1" frequency 14318180 Hz quality 440
+kernel: Event timer "HPET2" frequency 14318180 Hz quality 440
+kernel: Timecounter "ACPI-fast" frequency 3579545 Hz quality 900
+kernel: acpi_timer0: <24-bit timer at 3.579545MHz> port 0x408-0x40b on acpi0
 kernel: acpi_button0: <Sleep Button> on acpi0
 kernel: pcib0: <ACPI Host-PCI bridge> port 0xcf8-0xcff on acpi0
 kernel: pci0: <ACPI PCI bus> on pcib0
@@ -80,16 +90,6 @@
 kernel: ahcich1: <AHCI channel> at channel 1 on ahci0
 kernel: ichsmb0: <Intel 82801GB (ICH7) SMBus controller> port 0x3000-0x301f irq 19 at device 31.3 on pci0
 kernel: smbus0: <System Management Bus> on ichsmb0
-kernel: hpet0: <High Precision Event Timer> iomem 0xfed00000-0xfed03fff on acpi0
-kernel: Timecounter "HPET" frequency 14318180 Hz quality 950
-kernel: Event timer "HPET" frequency 14318180 Hz quality 450
-kernel: Event timer "HPET1" frequency 14318180 Hz quality 440
-kernel: Event timer "HPET2" frequency 14318180 Hz quality 440
-kernel: atrtc0: <AT realtime clock> port 0x70-0x71,0x74-0x77 irq 8 on acpi0
-kernel: Event timer "RTC" frequency 32768 Hz quality 0
-kernel: attimer0: <AT timer> port 0x40-0x43,0x50-0x53 irq 0 on acpi0
-kernel: Timecounter "i8254" frequency 1193182 Hz quality 0
-kernel: Event timer "i8254" frequency 1193182 Hz quality 100
 kernel: atkbdc0: <Keyboard controller (i8042)> port 0x60,0x64 irq 1 on acpi0
 kernel: atkbd0: <AT Keyboard> irq 1 on atkbdc0
 kernel: kbd0 at atkbd0