[    3.765570] input: HDA ATI HDMI HDMI/DP,pcm=3 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card0/input5
[    3.923609] vboxdrv: Found 2 processor cores.
[    3.923879] vboxdrv: fAsync=0 offMin=0x252 offMax=0x154e
[    3.923927] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[    3.923928] vboxdrv: Successfully loaded version 4.2.0 (interface 0x001a0004).
[    4.134181] vboxpci: IOMMU not found (not registered)
[    5.261922] r8169 0000:06:00.0: >eth1: link up
[    5.262230] IPv6: ADDRCONF(NETDEV_CHANGE): eth1: link becomes ready