Any KVM vs. Xen PV benchmarks? The Xen (PV)HVM case isn't that interesting.