[   17.637292] vboxdrv: Trying to deactivate the NMI watchdog permanently...
[   17.637297] vboxdrv: Successfully done.
[   17.637299] vboxdrv: Found 2 processor cores.
[   17.638052] VBoxDrv: dbg - g_abExecMemory=ffffffffa031ba20
[   17.638068] vboxdrv: fAsync=1 offMin=0x2faad offMax=0x2faad
[   17.638915] vboxdrv: TSC mode is 'asynchronous', kernel timer mode is 'normal'.
[   17.638918] vboxdrv: Successfully loaded version 3.1.8 (interface 0x00100001).
[   17.880096] ppdev: user-space parallel port driver
[   18.202446] CPU0 attaching NULL sched-domain.
[   18.202452] CPU1 attaching NULL sched-domain.
[   18.251355] CPU0 attaching sched-domain:
[   18.251359]  domain 0: span 0-1 level MC
[   18.251362]   groups: 0 1
[   18.251367] CPU1 attaching sched-domain:
[   18.251369]  domain 0: span 0-1 level MC
[   18.251370]   groups: 1 0
[   19.159970] CPU0 attaching NULL sched-domain.
[   19.159980] CPU1 attaching NULL sched-domain.
[   19.202565] CPU0 attaching sched-domain:
[   19.202571]  domain 0: span 0-1 level MC
[   19.202574]   groups: 0 1
[   19.202583] CPU1 attaching sched-domain:
[   19.202584]  domain 0: span 0-1 level MC
[   19.202586]   groups: 1 0
[   19.637315] usb 1-2: usbfs: interface 0 claimed by usblp while 'usb' sets config #1
[   20.207015] hda-intel: IRQ timing workaround is activated for card #1. Suggest a bigger bdl_pos_adj.
[   27.920022] eth0: no IPv6 routers present
[   79.020032] Clocksource tsc unstable (delta = -166165989 ns)
[  346.396947] [drm:drm_mode_getfb] *ERROR* invalid framebuffer id