#undef  CONFIG_X86_TSC_DISABLE