[AVR32] Fix NMI handler