diff --git a/include/common.h b/include/common.h
index 66cd5175f312fbda52e0b9d1ec5d274dc10728e1..f0b82e5ed48e539a8667d441505a6584942c26f5 100644
--- a/include/common.h
+++ b/include/common.h
@@ -213,6 +213,7 @@ void inline setenv   (char *, char *);
 void	setenv	     (char *, char *);
 #endif /* CONFIG_PPC */
 #ifdef CONFIG_ARM
+# include <asm/mach-types.h>
 # include <asm/setup.h>
 # include <asm/u-boot-arm.h>	/* ARM version to be fixed! */
 #endif /* CONFIG_ARM */