diff --git a/sys/boot/arm/ixp425/boot2/boot2.c b/sys/boot/arm/ixp425/boot2/boot2.c
index aa187fd561ce..e5f498273945 100644
--- a/sys/boot/arm/ixp425/boot2/boot2.c
+++ b/sys/boot/arm/ixp425/boot2/boot2.c
@@ -152,8 +152,6 @@ getstr(int c)
 	}
 }
 
-int main(void);
-
 int
 main(void)
 {
diff --git a/sys/boot/arm/ixp425/boot2/lib.h b/sys/boot/arm/ixp425/boot2/lib.h
index 1679e961ce2c..9c88030c2503 100644
--- a/sys/boot/arm/ixp425/boot2/lib.h
+++ b/sys/boot/arm/ixp425/boot2/lib.h
@@ -30,6 +30,8 @@
 #include <sys/cdefs.h>
 #include <sys/param.h>
 
+int main(void);
+
 void DELAY(int);
 
 int getc(int);