Index: kernel/generic/include/macros.h
===================================================================
--- kernel/generic/include/macros.h	(revision 36e9cd186877d97860a6d53672806bfac213cfa4)
+++ kernel/generic/include/macros.h	(revision 371bd7d157f6602aa0ac4bd2e639fef084cecb89)
@@ -38,5 +38,5 @@
 #ifndef __ASM__
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 /** Return true if the intervals overlap.