kernelconfig_penguin

CONFIG_HAVE_PCI (not configurable)

configname: CONFIG_HAVE_PCI

Linux Kernel Configuration
└─> Device Drivers
└─> HAVE_PCI