[Bug 728638] New: KVM Documentation Chapter 9.4.1. Using kvm_clock: wrong command to check currently used clock-source