# CONFIG_INTEL_MEI_GSC is not set
