Changes between Version 2 and Version 3 of Ticket #12747, comment 2

Ticket #12747, comment 2

-              v2
+              v3
 With 1 vcpu or 2 vpcu with hotplug enabled, the VM randomly boots correctly, and then works flawlessly. When a crash occurs, it is randomly at any stage of the boot. The VM boots successfuly ~ 2 times for 5 retries.
+I now have a 3.13.5-200.fc20.x86_64 kernel on the host.
+I now have a 3.13.5-200.fc20.x86_64 kernel on the host. No virtualbox errors in syslog.
+{{{
+[ 3970.304142] vboxdrv: Found 4 processor cores.
+[ 3970.304564] vboxdrv: fAsync=0 offMin=0x24f offMax=0x1309
+[ 3970.304646] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
+[ 3970.304648] vboxdrv: Successfully loaded version 4.3.8 (interface 0x001a0007).
+[ 3970.328191] vboxpci: IOMMU not found (not registered)
+}}}
 Regards,