Index: arm/xscale/ixp425/ixp425.c
===================================================================
--- arm/xscale/ixp425/ixp425.c	(revision 194588)
+++ arm/xscale/ixp425/ixp425.c	(working copy)
@@ -192,6 +192,9 @@
 		intr_enabled2 |= (1 << (nb - 32));
 		ixp435_set_intrmask();
 	}
+	if (nb < 32 && ((1 << nb) & IXP425_INT_GPIOMASK))
+		IXPREG(IXP425_GPIO_VBASE + IXP425_GPIO_GPISR) =
+		    ixp425_irq2gpio_bit(nb);
 	restore_interrupts(i);
 }