# CONFIG_INTEL_WMI_THUNDERBOLT is not set
