[   41.432304] vboxdrv: Found 2 processor cores.
[   41.436206] vboxdrv: fAsync=0 offMin=0x1c2 offMax=0x6c2
[   41.436294] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[   41.436297] vboxdrv: Successfully loaded version 4.1.8_Ubuntu (interface 0x00190000).
[   42.003605] vboxpci: IOMMU not found (not registered)
[   46.994887] init: plymouth-stop pre-start process (1621) terminated with status 1