diff --git a/Makefile.config b/Makefile.config
index 10ca31e..e4e7b7d 100644
--- a/Makefile.config
+++ b/Makefile.config
@@ -10,7 +10,8 @@ CONFIGFILES	= \
 	$(CFG)-x86_64.config $(CFG)-x86_64-debug.config \
 	$(CFG)-s390x.config \
 	$(CFG)-arm.config  $(CFG)-armv5tel.config \
-	$(CFG)-armv5tel-kirkwood.config  $(CFG)-armv7l-imx.config \
+	$(CFG)-armv5tel-kirkwood.config \
+        $(CFG)-armv7l-imx.config $(CFG)-armv7l-highbank.config \
 	$(CFG)-armv7l-omap.config $(CFG)-armv7l-tegra.config \
         $(CFG)-armv7hl-imx.config $(CFG)-armv7hl-highbank.config \
 	$(CFG)-armv7hl-omap.config $(CFG)-armv7hl-tegra.config \