[   13.176419] vboxdrv: Found 4 processor cores.
[   13.176494] VBoxDrv: dbg - g_abExecMemory=ffffffffa0c80e00
[   13.176543] vboxdrv: fAsync=0 offMin=0x3ed offMax=0xfbbb
[   13.176620] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[   13.176622] vboxdrv: Successfully loaded version 3.2.12 (interface 0x00140001).
[   13.764858] EXT4-fs (sda1): re-mounted. Opts: errors=remount-ro,commit=0
[   15.757501] ppdev: user-space parallel port driver
[   18.020552] EXT4-fs (sda1): re-mounted. Opts: errors=remount-ro,commit=0
[   18.694318] hda-intel: IRQ timing workaround is activated for card #1. Suggest a bigger bdl_pos_adj.
[   23.207991] eth0: no IPv6 routers present
[  265.657030] lo: Disabled Privacy Extensions
[  352.718395] lo: Disabled Privacy Extensions
[  765.757658] lo: Disabled Privacy Extensions