Symbol: kvm_check_tsc_unstable