[ARM] 4333/2: KS8695: Micrel Development board

Board support and default configuration file for the Micrel/Kendin
KS8695 Development board.

Signed-off-by: Andrew Victor <andrew@sanpeople.com>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
diff --git a/arch/arm/mach-ks8695/Makefile b/arch/arm/mach-ks8695/Makefile
index 0a0f496..56b7d33 100644
--- a/arch/arm/mach-ks8695/Makefile
+++ b/arch/arm/mach-ks8695/Makefile
@@ -12,3 +12,4 @@
 #obj-$(CONFIG_PCI)		+= pci.o
 
 # Board-specific support
+obj-$(CONFIG_MACH_KS8695)	+= board-micrel.o