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 38c822e4068d97ef8021fac7c39f8531ddd7261d)
@@ -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