ARM: select PCI_DOMAINS config from ARCH_MULTIPLATFORM
[cascardo/linux.git] / arch / arm / mach-exynos / Kconfig
index ee8a99c..18f0c85 100644 (file)
@@ -126,7 +126,6 @@ config SOC_EXYNOS5440
        select ARCH_DMA_ADDR_T_64BIT if ARM_LPAE
        select HAVE_ARM_ARCH_TIMER
        select AUTO_ZRELADDR
-       select PCI_DOMAINS if PCI
        select PINCTRL_EXYNOS5440
        select PM_OPP
        help