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