Я предполагаю, что вы работаете над ядром ARM (MIGHT_HAVE_PCI
используется только для arc
и arm
). Как вы заметили, CONFIG_PCI
зависит от CONFIG_MIGHT_HAVE_PCI
; последний вариант не выбирается пользователем, это параметр, выбранный платформами ARM, через опцию «Тип системы ARM» или конкретные SoC или машины через их собственные опции ( например, «AT91RM9200» в SoC Atmel). Вам нужно выбрать соответствующий тип системы и, возможно, изменить его так, чтобы он выбирал MIGHT_HAVE_PCI
.Подробности см. в arch/arm/Kconfig
..