[jsmthrowaway]

It's a slightly similar story under KVM in these scenarios. Customer kernels are trickier.

[rdtsc]

Depending on what kind of level of virtualization they opted for, I've run Windows on Linux under KVM. They are doing the "boot a kernel" mode instead of fully virtufalized hardware mode probably to save on resources.