Index: sys/arm/conf/ODROIDC1
===================================================================
--- sys/arm/conf/ODROIDC1
+++ sys/arm/conf/ODROIDC1
@@ -22,6 +22,8 @@
 include 	"AML8726"
 ident		ODROIDC1
 
+options 	SMP			# Enable multiple cores
+
 # Interrupt controller
 device		gic
 
Index: sys/arm/conf/VSATV102
===================================================================
--- sys/arm/conf/VSATV102
+++ sys/arm/conf/VSATV102
@@ -22,6 +22,8 @@
 include 	"AML8726"
 ident		VSATV102
 
+options 	SMP			# Enable multiple cores
+
 # Interrupt controller
 device		gic