Index: kernel/genarch/include/genarch/drivers/omap/irc.h
===================================================================
--- kernel/genarch/include/genarch/drivers/omap/irc.h	(revision 91bf3787715e3ae6e3bfac0644b134262d8f98b0)
+++ kernel/genarch/include/genarch/drivers/omap/irc.h	(revision f9f45e7ade54ca0d1a7465c54d5baeb53951c48b)
@@ -147,5 +147,5 @@
 	} interrupts[OMAP_IRC_IRQ_GROUPS_COUNT];
 
-	const uint32_t padd4[32 * OMAP_IRC_IRQ_GROUPS_PAD];
+	const uint32_t padd4[8 * OMAP_IRC_IRQ_GROUPS_PAD];
 
 	/* These registers contain the priority for the interrups and