Index: kernel/arch/arm32/src/mach/beaglebone/beaglebone.c
===================================================================
--- kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision 45b430051bcbcd8f2afa1f7082e97328b449236c)
+++ kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision 1d94e2155b4f5c86363ef8e3d6b3ceb0827e95ff)
@@ -177,5 +177,4 @@
 {
 	const unsigned inum = am335x_irc_inum_get(bbone.irc_addr);
-	am335x_irc_irq_ack(bbone.irc_addr);
 
 	irq_t *irq = irq_dispatch_and_lock(inum);
@@ -187,4 +186,6 @@
 		printf("Spurious interrupt\n");
 	}
+
+	am335x_irc_irq_ack(bbone.irc_addr);
 }