[    5.069943] vboxdrv: Found 2 processor cores.
[    5.070560] vboxdrv: fAsync=0 offMin=0x45f offMax=0xe5c
[    5.070612] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[    5.070613] vboxdrv: Successfully loaded version 4.1.6 (interface 0x00190000).
[    5.282081] vboxpci: IOMMU not found (not registered)
[    5.365021] ppdev: user-space parallel port driver
[    6.569950] atl1c 0000:04:00.0: atl1c: eth0 NIC Link is Up<100 Mbps Full Duplex>
[    6.570618] ADDRCONF(NETDEV_CHANGE): eth0: link becomes ready
[    6.883278] hda-intel: IRQ timing workaround is activated for card #1. Suggest a bigger bdl_pos_adj.
[   17.208017] eth0: no IPv6 routers present