diff --git a/include/util.h b/include/util.h
index 4611cbf3aa..d6afdbbdec 100644
--- a/include/util.h
+++ b/include/util.h
@@ -87,7 +87,6 @@ int PURE strncmp(const char *s1, const char *s2, int n);
 long CONST char_to_long(char c);
 long PURE str_to_long(const char* str);
 
-#endif /* !__ASSEMBLER__ */
 
 int __builtin_clzl (unsigned long x);
 int __builtin_ctzl (unsigned long x);
@@ -133,4 +132,5 @@ CONST popcountl(unsigned long x)
 
 #define POPCOUNTL(x) __builtin_popcountl(x)
 
+#endif /* !__ASSEMBLER__ */
 #endif /* __UTIL_H */
diff --git a/src/arch/arm/32/traps.S b/src/arch/arm/32/traps.S
index c7f5f332a6..fcf2aaaa34 100644
--- a/src/arch/arm/32/traps.S
+++ b/src/arch/arm/32/traps.S
@@ -9,13 +9,12 @@
  */
 
 #include <config.h>
+#include <util.h>
 
 #ifndef CONFIG_ARM_HYPERVISOR_SUPPORT
 
 #include <machine/assembler.h>
 
-#define BIT(n) (1 << (n))
-
 .code 32
 .section .vectors, "ax"