Самым простым вариантом выглядит затянуть проект в Atmel /
Microchip Studio 7. Там GCC штатный компилятор, при необходимости
можно через настройки переключиться на отдельно установленный GCC
нужной вам версии. Можно даже просто открыть студией файл с отладочной информацией и она всё подтянет. Как он формируется в GCC - не подскажу, делал это только в IARe.