diff --git a/src/system/boot/platform/raspberrypi_arm/cpu.cpp b/src/system/boot/platform/raspberrypi_arm/cpu.cpp
index bc2f15fce0..f8d27d992b 100644
--- a/src/system/boot/platform/raspberrypi_arm/cpu.cpp
+++ b/src/system/boot/platform/raspberrypi_arm/cpu.cpp
@@ -35,6 +35,8 @@ spin(bigtime_t microseconds)
 extern "C" void
 cpu_init()
 {
+	gKernelArgs.num_cpus = 1;
+		// this will eventually be corrected later on
+
 #warning IMPLEMENT cpu_init
 }
-