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>