Index: kernel/genarch/src/drivers/grlib_irqmp/grlib_irqmp.c
===================================================================
--- kernel/genarch/src/drivers/grlib_irqmp/grlib_irqmp.c	(revision d78314585b84d27c6872ccb1a4322113515b7907)
+++ kernel/genarch/src/drivers/grlib_irqmp/grlib_irqmp.c	(revision f7a33dea6c14aefebb1d11fcaf8d904947793cad)
@@ -48,5 +48,5 @@
 
 	/* Mask all interrupts */
-	pio_write_32((void *)irqc->regs + GRLIB_IRQMP_MASK_OFFSET, 0);
+	pio_write_32((void *)irqc->regs + GRLIB_IRQMP_MASK_OFFSET, 0x8);
 }