diff --git a/board/gdsys/gdppc440etx/gdppc440etx.c b/board/gdsys/gdppc440etx/gdppc440etx.c
index e1890fff336227ba34f8f8c866cb4704848572ee..a661057438e4db2c0b71e945de979567d6ecf5c1 100644
--- a/board/gdsys/gdppc440etx/gdppc440etx.c
+++ b/board/gdsys/gdppc440etx/gdppc440etx.c
@@ -145,8 +145,6 @@ int misc_init_r(void)
 int checkboard(void)
 {
 	char *s = getenv("serial#");
-	u8 rev;
-	u8 val;
 
 	printf("Board: GDPPC440ETX - G&D PPC440EP/GR ETX-module");