diff --git a/src/cpu/samsung/Kconfig b/src/cpu/samsung/Kconfig
index 3a14ab86e8..4a09ca3cdb 100644
--- a/src/cpu/samsung/Kconfig
+++ b/src/cpu/samsung/Kconfig
@@ -15,32 +15,6 @@ config SKIP_LOWLEVEL_INIT
 	  Certain functions (ie PLL init) and processor features may already be
 	  handled by masked ROM code.
 
-config IRAM_BOTTOM
-	hex
-	default 0x02020000
-
-# FIXME(dhendrix): 0x02050000 was in the u-boot sources, but the docs say the
-# iRAM range is 0x0202_0000 - 0x0207_7fff (352KB).
-#config IRAM_TOP
-#	hex
-#	default 0x02050000
-config IRAM_TOP
-	hex
-	default 0x02077fff
-
-config SYS_INIT_SP_ADDR
-	hex
-	default 0x0204F800
-
-config IRAM_STACK
-	hex
-	default SYS_INIT_SP_ADDR
-
-# FIXME(dhendrix): what should this really be?
-config XIP_ROM_SIZE
-	hex
-	default 0x20000
-
 if CPU_SAMSUNG_EXYNOS5
 source src/cpu/samsung/exynos5250/Kconfig
 endif
diff --git a/src/cpu/samsung/exynos5250/Kconfig b/src/cpu/samsung/exynos5250/Kconfig
index 8d4ba2dd0a..c2d9b9fddc 100644
--- a/src/cpu/samsung/exynos5250/Kconfig
+++ b/src/cpu/samsung/exynos5250/Kconfig
@@ -26,3 +26,23 @@ config RAMBASE
 config RAMTOP
 	hex
 	default 0x40100000
+
+config IRAM_BOTTOM
+	hex
+	default 0x02020000
+
+config IRAM_TOP
+	hex
+	default 0x02077fff
+
+config SYS_INIT_SP_ADDR
+	hex
+	default 0x0204F800
+
+config IRAM_STACK
+	hex
+	default SYS_INIT_SP_ADDR
+
+config XIP_ROM_SIZE
+	hex "ROM stage (BL2) size"
+	default 0x20000