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