add support for gdbserver on AVR32 devices