Suponho que você esteja trabalhando em um kernel ARM ( MIGHT_HAVE_PCI é usado apenas para arc e arm ). Como você percebeu, CONFIG_PCI depende de CONFIG_MIGHT_HAVE_PCI ; o último não é uma opção selecionável pelo usuário, é uma configuração selecionada por plataformas ARM, via a opção "tipo de sistema ARM", ou SoCs ou máquinas específicas, através de suas próprias opções (por exemplo "AT91RM9200" no Atmel SoCs). Você precisa escolher o tipo de sistema apropriado e, possivelmente, modificá-lo para que ele selecione MIGHT_HAVE_PCI . Veja arch/arm/Kconfig para detalhes. / p>