diff --git a/src/system/boot/platform/raspberrypi_arm/start.cpp b/src/system/boot/platform/raspberrypi_arm/start.cpp
index 5395444b6c..b35da218ff 100644
--- a/src/system/boot/platform/raspberrypi_arm/start.cpp
+++ b/src/system/boot/platform/raspberrypi_arm/start.cpp
@@ -35,7 +35,6 @@ extern uint8 __stack_start;
 extern uint8 __stack_end;
 
 extern int main(stage2_args *args);
-void _start(void);
 
 // Adjusted during mmu_init
 addr_t gPeripheralBase = DEVICE_BASE;