diff --git a/sys/arm/conf/EXYNOS5250.common b/sys/arm/conf/EXYNOS5250.common
index 474cb6bed6f..fa8c9c79ee3 100644
--- a/sys/arm/conf/EXYNOS5250.common
+++ b/sys/arm/conf/EXYNOS5250.common
@@ -83,7 +83,7 @@ device		sdhci			# generic sdhci
 
 options 	ROOTDEVNAME=\"ufs:/dev/da0\"
 
-#options	SMP
+options		SMP
 
 # Pseudo devices