CONFIG_PCI_MMCONFIG (not configurable)

modulename: mmconf-fam10h_64.ko

configname: CONFIG_PCI_MMCONFIG

Linux Kernel Configuration
└─>Bus options (PCI etc.)
└─>PCI_MMCONFIG
In linux kernel since version 2.6.12  
source code:
arch/x86/kernel/mmconf-fam10h_64.c

is selected by
CONFIG_EDAC_SKX