kernelconfig_penguin
CONFIG_MIGHT_HAVE_PCI is not available for the default architecture x86.
Result is shown for architecture arm
is depended by
CONFIG_ARCH_INTEGRATOR_AP

CONFIG_MIGHT_HAVE_PCI (not configurable)

configname: CONFIG_MIGHT_HAVE_PCI

Linux Kernel Configuration
└─> MIGHT_HAVE_PCI