# CONFIG_X86_INTEL_MID is not set