diff --git a/src/system/boot/arch/arm/kernel_stubs.cpp b/src/system/boot/arch/arm/kernel_stubs.cpp
index d26ce80a27..6d1d60c2f8 100644
--- a/src/system/boot/arch/arm/kernel_stubs.cpp
+++ b/src/system/boot/arch/arm/kernel_stubs.cpp
@@ -33,12 +33,6 @@ kgetc()
 }
 
 
-extern "C" void
-spin(bigtime_t time)
-{
-}
-
-
 extern "C" status_t
 _mutex_lock(mutex*, bool)
 {
diff --git a/src/system/boot/platform/raspberrypi_arm/cpu.cpp b/src/system/boot/platform/raspberrypi_arm/cpu.cpp
index ed690b6921..0f6f60406c 100644
--- a/src/system/boot/platform/raspberrypi_arm/cpu.cpp
+++ b/src/system/boot/platform/raspberrypi_arm/cpu.cpp
@@ -6,6 +6,14 @@
 
 #include "arch_cpu.h"
 
+extern "C" void
+spin(bigtime_t microseconds)
+{
+	// fallback to arch-specific code
+	arch_spin(microseconds);
+}
+
+
 extern "C" void
 cpu_init()
 {