[PATCH] IRQ: Fix AVR32 breakage