[kernel/f15] Make armv7l highbank kernel config

[Dennis Gilmore]

commit d02fa968e9d84c7860b6364840ee4caa7dfcb6cd
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Mon Dec 12 17:00:13 2011 -0600

    Make armv7l highbank kernel config

 Makefile.config |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
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 \