From d02fa968e9d84c7860b6364840ee4caa7dfcb6cd Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Dec 12 2011 23:00:13 +0000
Subject: Make armv7l highbank kernel config


---

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 \