diff --git a/sys/arm/conf/EXYNOS5.common b/sys/arm/conf/EXYNOS5.common
index ec61e8b5c5a2..8886b46654e8 100644
--- a/sys/arm/conf/EXYNOS5.common
+++ b/sys/arm/conf/EXYNOS5.common
@@ -51,6 +51,8 @@ options 	PREEMPTION
 options 	FREEBSD_BOOT_LOADER
 options 	VFP			# vfp/neon
 
+options 	SMP
+
 # Debugging
 makeoptions	DEBUG=-g		# Build kernel with gdb(1) debug symbols
 options 	BREAK_TO_DEBUGGER
diff --git a/sys/arm/conf/EXYNOS5250 b/sys/arm/conf/EXYNOS5250
index 16f1d75ef750..156d8564eba1 100644
--- a/sys/arm/conf/EXYNOS5250
+++ b/sys/arm/conf/EXYNOS5250
@@ -21,7 +21,5 @@ ident		EXYNOS5250
 include		"EXYNOS5.common"
 include		"../samsung/exynos/std.exynos5250"
 
-options		SMP
-
 #FDT
 options 	FDT