[Fedora-xen] Benchmark comparison of Xen vs. KVM - advice?