KVM: Use pointer to vcpu instead of vcpu_id in timer code.