# CONFIG_INTEL_TH_DEBUG is not set