[AVR32] Implement intc_get_pending()