Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision f2ea5d898375b36e38b163ea62225ee6766b18b9)
+++ boot/Makefile	(revision f18cc64bf5d5805b64917cbb6c779f8f598cc029)
@@ -48,4 +48,8 @@
 endif
 
+ifeq ($(CONFIG_SMP),y)
+	DEFS += -DCONFIG_SMP
+endif
+
 .PHONY: all build config distclean clean generic_clean
 
Index: boot/arch/sparc64/loader/main.c
===================================================================
--- boot/arch/sparc64/loader/main.c	(revision f2ea5d898375b36e38b163ea62225ee6766b18b9)
+++ boot/arch/sparc64/loader/main.c	(revision f18cc64bf5d5805b64917cbb6c779f8f598cc029)
@@ -99,8 +99,10 @@
 	printf("done.\n");
 
+#ifdef CONFIG_SMP
 	printf("\nChecking for secondary processors...");
 	if (!ofw_cpu())
 		printf("Error: unable to get CPU properties\n");
 	printf("done.\n");
+#endif
 
 	printf("\nBooting the kernel...\n");
Index: boot/boot.config
===================================================================
--- boot/boot.config	(revision f2ea5d898375b36e38b163ea62225ee6766b18b9)
+++ boot/boot.config	(revision f18cc64bf5d5805b64917cbb6c779f8f598cc029)
@@ -17,4 +17,7 @@
 ! COMPILER (choice)
 
+# Start AP processors
+! [ARCH=sparc64] CONFIG_SMP (y/n)
+
 # Debug bootloader
 ! [ARCH=ppc32] CONFIG_DEBUG (n/y)
Index: kernel/kernel.config
===================================================================
--- kernel/kernel.config	(revision f2ea5d898375b36e38b163ea62225ee6766b18b9)
+++ kernel/kernel.config	(revision f18cc64bf5d5805b64917cbb6c779f8f598cc029)
@@ -104,5 +104,5 @@
 
 # Use TSB
-! [ARCH=sparc64] CONFIG_TSB (n/y)
+! [ARCH=sparc64] CONFIG_TSB (y/n)
 
 # Support for Z8530 serial port