[bazz2-ing] Performance benchmarks--KVM vs. Xen