diff --git a/src/kernel/boot/platform/bios_ia32/smp_boot.c b/src/kernel/boot/platform/bios_ia32/smp_boot.c
index 94acf2e62b..35478cdb90 100644
--- a/src/kernel/boot/platform/bios_ia32/smp_boot.c
+++ b/src/kernel/boot/platform/bios_ia32/smp_boot.c
@@ -209,7 +209,7 @@ smp_find_mp_config(void)
 	int i;
 
 #if NO_SMP
-	if (0)
+	if (1)
 		return gKernelArgs.num_cpus = 1;
 #endif