CONFIG_PCIE_ARTPEC6 (not configurable)

modulename: pcie-artpec6.ko

configname: CONFIG_PCIE_ARTPEC6

Linux Kernel Configuration
└─>Bus options (PCI etc.)
└─>PCI controller drivers
└─>DesignWare PCI Core Support
└─>PCIE_ARTPEC6
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
drivers/pci/controller/dwc/pcie-artpec6.c
depends
CONFIG_PCI