Hi,
   This is on an older machine. Athlon 1600+ / older Via chipset.


ACPI: Power Button (FF) [PWRF]
ACPI: Power Button (CM) [PWRB]
ACPI: CPU0 (power states: C1[C1] C2[C2])
ACPI: Processor [CPU0] (supports 16 throttling states)
Time: tsc clocksource has been installed.
WARNING: non-monotonic time!
... time warped from 151976744 to 147973105.
softirq-timer/0/3[CPU#0]: BUG in ktime_get at kernel/ktimers.c:103
 [<c0118e20>] __WARN_ON+0x60/0xc0 (8)
 [<c013072d>] ktime_get+0xed/0x130 (40)
 [<c01312de>] ktimer_run_queues+0x2e/0x130 (64)
 [<c01217f9>] run_timer_softirq+0xc9/0x3e0 (60)
 [<c03845ff>] schedule+0x4f/0x120 (16)
 [<c011d837>] ksoftirqd+0xb7/0x110 (28)
 [<c011d780>] ksoftirqd+0x0/0x110 (36)
 [<c012d29a>] kthread+0xba/0xc0 (4)
 [<c012d1e0>] kthread+0x0/0xc0 (28)
 [<c01013d5>] kernel_thread_helper+0x5/0x10 (16)
WARNING: non-monotonic time!
... time warped from 151976744 to 148971665.
softirq-timer/0/3[CPU#0]: BUG in ktime_get at kernel/ktimers.c:103
 [<c0118e20>] __WARN_ON+0x60/0xc0 (8)
 [<c013072d>] ktime_get+0xed/0x130 (40)
 [<c01312de>] ktimer_run_queues+0x2e/0x130 (64)
 [<c01217f9>] run_timer_softirq+0xc9/0x3e0 (60)
 [<c03845ff>] schedule+0x4f/0x120 (16)
 [<c011d837>] ksoftirqd+0xb7/0x110 (28)
 [<c011d780>] ksoftirqd+0x0/0x110 (36)
 [<c012d29a>] kthread+0xba/0xc0 (4)
 [<c012d1e0>] kthread+0x0/0xc0 (28)
 [<c01013d5>] kernel_thread_helper+0x5/0x10 (16)
WARNING: non-monotonic time!
... time warped from 151976744 to 149972579.
softirq-timer/0/3[CPU#0]: BUG in ktime_get at kernel/ktimers.c:103
 [<c0118e20>] __WARN_ON+0x60/0xc0 (8)
 [<c013072d>] ktime_get+0xed/0x130 (40)
 [<c01312de>] ktimer_run_queues+0x2e/0x130 (64)
 [<c01217f9>] run_timer_softirq+0xc9/0x3e0 (60)
 [<c03845ff>] schedule+0x4f/0x120 (16)
 [<c011d837>] ksoftirqd+0xb7/0x110 (28)
 [<c011d780>] ksoftirqd+0x0/0x110 (36)
 [<c012d29a>] kthread+0xba/0xc0 (4)
 [<c012d1e0>] kthread+0x0/0xc0 (28)
 [<c01013d5>] kernel_thread_helper+0x5/0x10 (16)
lp: driver loaded but no devices found
PNP: PS/2 Controller [PNP0303:PS2K,PNP0f13:PS2M] at 0x60,0x64 irq 1,12
serio: i8042 AUX port at 0x60,0x64 irq 12