[   18.994626] NET: Registered protocol family 4
[   19.666991] vboxdrv: Trying to deactivate the NMI watchdog permanently...
[   19.666995] vboxdrv: Warning: 2.6.31+ kernel detected. Most likely the hardware performance
[   19.666996] vboxdrv: counter framework which can generate NMIs is active. You have to prevent
[   19.666997] vboxdrv: the usage of hardware performance counters by
[   19.666998] vboxdrv:   echo 2 > /proc/sys/kernel/perf_counter_paranoid
[   19.667001] vboxdrv: Found 4 processor cores.
[   19.667070] VBoxDrv: dbg - g_abExecMemory=ffffffffa035d860
[   19.667113] vboxdrv: fAsync=0 offMin=0x144 offMax=0x1a5e
[   19.667490] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[   19.667493] vboxdrv: Successfully loaded version 3.1.4_OSE (interface 0x00100001).
[   25.360038] eth0: no IPv6 routers present