[   28.520057] Clocksource tsc unstable (delta = -254573516 ns)
[   29.057374] vboxdrv: Trying to deactivate the NMI watchdog permanently...
[   29.057385] vboxdrv: Warning: 2.6.31+ kernel detected. Most likely the hardware performance
[   29.057389] vboxdrv: counter framework which can generate NMIs is active. You have to prevent
[   29.057393] vboxdrv: the usage of hardware performance counters by
[   29.057395] vboxdrv:   echo 2 > /proc/sys/kernel/perf_counter_paranoid
[   29.057406] vboxdrv: Found 2 processor cores.
[   29.057590] VBoxDrv: dbg - g_abExecMemory=ffffffffa04c0860
[   29.057635] vboxdrv: fAsync=1 offMin=0xd7736 offMax=0xd7736
[   29.057788] vboxdrv: TSC mode is 'asynchronous', kernel timer mode is 'normal'.
[   29.057794] vboxdrv: Successfully loaded version 3.1.4_OSE (interface 0x00100001).
[   29.180602] ppdev: user-space parallel port driver
[   31.040214] b44: eth0: Link is up at 100 Mbps, full duplex.
[   31.040219] b44: eth0: Flow control is off for TX and off for RX.
[   31.041123] ADDRCONF(NETDEV_CHANGE): eth0: link becomes ready
[   38.420039] eth1: no IPv6 routers present
[   41.220030] eth0: no IPv6 routers present