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 5c7be3ed1b1bd6f02895ead1286cd1d478dbfdaa)
@@ -39,5 +39,5 @@
 
 #include <typedefs.h>
-#include <arch.h>
+#include <arch/arch.h>
 
 #define GRLIB_IRQMP_MASK_OFFSET   0x40