[   12.027608] vboxdrv: Trying to deactivate the NMI watchdog permanently...
[   12.027612] vboxdrv: Successfully done.
[   12.027615] vboxdrv: Found 2 processor cores.
[   12.027666] VBoxDrv: dbg - g_abExecMemory=ffffffffa02f7420
[   12.027685] vboxdrv: fAsync=1 offMin=0x252eaa offMax=0x252eaa
[   12.027738] vboxdrv: TSC mode is 'asynchronous', kernel timer mode is 'normal'.
[   12.027740] vboxdrv: Successfully loaded version 3.0.8_OSE (interface 0x000e0000).
[   12.033160] VBoxNetAdp: dbg - g_abExecMemory=ffffffffa0494ac0
[   12.043578] VBoxNetFlt: dbg - g_abExecMemory=ffffffffa04af1c0
[   12.704766] usplash:367 freeing invalid memtype ffffffffe0000000-ffffffffe8000000
[   15.558639] usb 2-4: usbfs: interface 0 claimed by usblp while 'usb' sets config #1
[   18.076536] [TTM] Zone  kernel: Available graphics memory: 1029066 kiB.
[   18.078161] nouveau 0000:02:00.0: Allocating FIFO number 0
[   18.079535] nouveau 0000:02:00.0: nouveau_channel_alloc: initialised FIFO 0
[   18.533866] nouveau 0000:02:00.0: Allocating FIFO number 1
[   18.535097] nouveau 0000:02:00.0: nouveau_channel_alloc: initialised FIFO 1
[   25.832523] eth0: no IPv6 routers present
[   75.940121] Clocksource tsc unstable (delta = -189442185 ns)