Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ HelenOS.config	(revision 48c3d504fc31a177cd3f40efea0b99148bde9b18)
@@ -210,5 +210,5 @@
 
 % Start AP processors by the loader
-! [PLATFORM=sparc64] CONFIG_SMP (y/n)
+! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
 
 % Use Block Address Translation by the loader
Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ boot/Makefile	(revision 48c3d504fc31a177cd3f40efea0b99148bde9b18)
@@ -47,6 +47,6 @@
 endif
 
-ifeq ($(CONFIG_SMP),y)
-	DEFS += -DCONFIG_SMP
+ifeq ($(CONFIG_AP),y)
+	DEFS += -DCONFIG_AP
 endif
 
Index: boot/arch/sparc64/loader/main.c
===================================================================
--- boot/arch/sparc64/loader/main.c	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ boot/arch/sparc64/loader/main.c	(revision 48c3d504fc31a177cd3f40efea0b99148bde9b18)
@@ -261,5 +261,5 @@
 	printf("done.\n");
 
-#ifdef CONFIG_SMP
+#ifdef CONFIG_AP
 	printf("\nChecking for secondary processors...");
 	if (!ofw_cpu())
Index: contrib/default/sparc64/Makefile.config
===================================================================
--- contrib/default/sparc64/Makefile.config	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ contrib/default/sparc64/Makefile.config	(revision 48c3d504fc31a177cd3f40efea0b99148bde9b18)
@@ -54,5 +54,5 @@
 
 # Start AP processors by the loader
-CONFIG_SMP = y
+CONFIG_AP = y
 
 # Preserve A.OUT header in isofs.b
Index: tools/config.py
===================================================================
--- tools/config.py	(revision 76bcaaffb233f142c909f6e34135f2812142d12d)
+++ tools/config.py	(revision 48c3d504fc31a177cd3f40efea0b99148bde9b18)
@@ -257,4 +257,10 @@
 			create_output(OUTPUT, defaults, ask_names)
 			return 0
+	
+	# Check mode: only check defaults
+	if ((len(sys.argv) >= 3) and (sys.argv[2] == 'check')):
+		if (check_choices(defaults, ask_names)):
+			return 0
+		return 1
 	
 	screen = xtui.screen_init()