diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 0fb17bb..665ce17 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -205,6 +205,7 @@
 config ARCH_IOP32X
 	bool "IOP32x-based"
 	depends on MMU
+	select PLAT_IOP
 	select PCI
 	help
 	  Support for Intel's 80219 and IOP32X (XScale) family of
@@ -213,6 +214,7 @@
 config ARCH_IOP33X
 	bool "IOP33x-based"
 	depends on MMU
+	select PLAT_IOP
 	select PCI
 	help
 	  Support for Intel's IOP33X (XScale) family of processors.
@@ -362,6 +364,9 @@
 config ARCH_ACORN
 	bool
 
+config PLAT_IOP
+	bool
+
 source arch/arm/mm/Kconfig
 
 #  bool 'Use XScale PMU as timer source' CONFIG_XSCALE_PMU_TIMER