# CONFIG_INTEL_MEI_GSC_PROXY is not set
