Kernel boot options

isolcpus=1-7,9-15

clocksource=tsc

tsc=perfect

highres=off

(Guest)

acpi=off

isolcpus=1-3

clocksource=tsc

tsc=perfect

highres=off

Performance Benchmark

SYSMark, MobileMark