diff --git a/src/system/boot/platform/raspberrypi_arm/start.c b/src/system/boot/platform/raspberrypi_arm/start.c
index f90c1cab17..35bc31bd13 100644
--- a/src/system/boot/platform/raspberrypi_arm/start.c
+++ b/src/system/boot/platform/raspberrypi_arm/start.c
@@ -34,9 +34,6 @@ extern int main(stage2_args *args);
 void _start(void);
 
 
-volatile unsigned *gGPIOBase;
-
-
 static void
 clear_bss(void)
 {