Index: defaults/special/Makefile.config
===================================================================
--- defaults/special/Makefile.config	(revision 4cac2d69158253d6b2ffb0a43fa4dc39390f104f)
+++ defaults/special/Makefile.config	(revision 1735f3e4ff366ba52b91d0dc24abe085e1196d7b)
@@ -4,7 +4,4 @@
 # Compiler
 COMPILER = gcc_native
-
-# Support for SMP
-CONFIG_SMP = y
 
 # Debug build