Index: kernel/arch/ppc32/src/interrupt.c
===================================================================
--- kernel/arch/ppc32/src/interrupt.c	(revision ebbc03c7d492f70aacac6214c5530a540b37a7a3)
+++ kernel/arch/ppc32/src/interrupt.c	(revision 1e8b633ea4fe33de942dfc3b6dfe8d63fa018b89)
@@ -141,4 +141,6 @@
 			    " (inum=%" PRIu8 ")", CPU->id, inum);
 #endif
+			pic_ack_interrupt(NULL, inum);
+			break;
 		}
 	}