Index: kernel/genarch/include/genarch/drivers/grlib/irqmp.h
===================================================================
--- kernel/genarch/include/genarch/drivers/grlib/irqmp.h	(revision 50122036bedeb4c4ffe03dda0b6696bc78c598e4)
+++ kernel/genarch/include/genarch/drivers/grlib/irqmp.h	(revision 741b2fb1909363f2ca0ec5f58957ea347df82946)
@@ -39,5 +39,5 @@
 
 #include <typedefs.h>
-#include <arch.h>
+#include <arch/arch.h>
 
 #define GRLIB_IRQMP_MASK_OFFSET   0x40