# CONFIG_X86_PKG_TEMP_THERMAL is not set
