Symbol: KVM_XEN_HVM_CONFIG_PVCLOCK_TSC_UNSTABLE