[AVR32] NMI debugging