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