The previous patch introduces an IPI on every vcpu migration on SMP
machines to find out the TSC value on the previous cpu. We might be
able to avoid this IPI on systems that have a synchronized TSC by
checking for it in svm/vmx_vcpu_load:

+               /* If this isn't the first vcpu_load and if the TSC
+                  doesn't run at a constant rate, we must handle TSC
+                  offsets. */
+               if (vcpu->cpu != -1
+                   && !boot_cpu_has(X86_FEATURE_CONSTANT_TSC)) {

Wether this is actually reliable and working in the intended way is
not know yet.  In the meantime, introduce a statistic for vcpu
migration, so we get some decision support for the needs for such an
optimization.

Signed-off-by: Leonard Norrgård <vinsci-g2GXA8XeJSExHbG02/KK1g@public.gmane.org>