[   30.394671] skge eth1: Link is up at 100 Mbps, full duplex, flow control none
[   30.474549] ADDRCONF(NETDEV_CHANGE): eth1: link becomes ready
[   31.038870] vboxdrv: Trying to deactivate the NMI watchdog permanently...
[   31.038875] vboxdrv: Successfully done.
[   31.038878] vboxdrv: Found 2 processor cores.
[   31.039031] VBoxDrv: dbg - g_abExecMemory=ffffffffa0d32a20
[   31.039050] vboxdrv: fAsync=1 offMin=0xff2c6 offMax=0xff2c6
[   31.039421] vboxdrv: TSC mode is 'asynchronous', kernel timer mode is 'normal'.
[   31.039423] vboxdrv: Successfully loaded version 3.1.6_OSE (interface 0x00100001).
[   32.380354] usb 2-4: usbfs: interface 0 claimed by usblp while 'usb' sets config #1
[   41.040036] eth1: no IPv6 routers present
[   91.840042] Clocksource tsc unstable (delta = -180432801 ns)