[   19.701520] vboxdrv: Trying to deactivate the NMI watchdog permanently...
[   19.701523] vboxdrv: Warning: 2.6.31+ kernel detected. Most likely the hardware performance
[   19.701524] vboxdrv: counter framework which can generate NMIs is active. You have to prevent
[   19.701525] vboxdrv: the usage of hardware performance counters by
[   19.701525] vboxdrv:   echo 2 > /proc/sys/kernel/perf_counter_paranoid
[   19.701528] vboxdrv: Found 4 processor cores.
[   19.701593] VBoxDrv: dbg - g_abExecMemory=ffffffffa02ae860
[   19.701625] vboxdrv: fAsync=0 offMin=0x35f offMax=0x1b41
[   19.701869] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[   19.701871] vboxdrv: Successfully loaded version 3.1.4_OSE (interface 0x00100001).
[   20.861272] ppdev: user-space parallel port driver
[   23.899925] usb 4-1: usbfs: interface 1 claimed by usblp while 'usb' sets config #1
[   23.911259] eth0: no IPv6 routers present
[   24.247403] hda-intel: IRQ timing workaround is activated for card #1. Suggest a bigger bdl_pos_adj.
[   64.030147] usb 4-1: usbfs: interface 1 claimed by usblp while 'usb' sets config #1