avr32: Fix missing irq namespace conversion