Comment 60 for bug 254668

seems the same

[ 0.000000] Kernel command line: root=UUID=270934eb-b4c5-4f17-87e4-8ebea9d98ed3 ro vga=6 apic=debug debug clocksource=hpet

[ 3.222078] ohci_hcd 0000:00:04.0: irq 18, io mem 0xf6487000
(paused, let set for some time - guessing 170 seconds)
[ 174.077172] Clocksource tsc unstable (delta = 4398045676210 ns)

however, now my wifi doesn't work:

lots of this:
[ 952.346330] ath5k phy0: gain calibration timeout (2462MHz)
[ 952.346349] ath5k phy0: can't reset hardware (-11)
[ 952.346356] wlan0: Failed to config new SSID to the low-level driver