x86/tsc: Make CONFIG_X86_TSC=n build work again