Comment 13 for bug 800701

It adds several seconds to a boot time already slowed by vboxdrv. This is the end of the boot from dmesg:

[ 46.262355] atl1c 0000:03:00.0: irq 43 for MSI/MSI-X
[ 46.262463] atl1c 0000:03:00.0: atl1c: eth0 NIC Link is Up<100 Mbps Full Duplex>
[ 51.043928] ip_tables: (C) 2000-2006 Netfilter Core Team
[ 51.299484] nf_conntrack version 0.5.0 (16384 buckets, 65536 max)
[ 121.898333] vboxdrv: Found 2 processor cores.
[ 121.898453] vboxdrv: fAsync=0 offMin=0x473 offMax=0x9ce
[ 121.898515] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[ 121.898517] vboxdrv: Successfully loaded version 4.1.18_Ubuntu (interface 0x00190000).
[ 122.785489] vboxpci: IOMMU not found (not registered)
[ 140.915652] init: plymouth-stop pre-start process (4519) terminated with status 1