Kernel boot options isolcpus=1-7,9-15clocksource=tsctsc=perfecthighres=off (Guest)acpi=offisolcpus=1-3clocksource=tsctsc=perfecthighres=off Performance BenchmarkSYSMark, MobileMark R&D/OS 2013.12.13