# CONFIG_INTEL_TH is not set