Собственно все в теме
На Ренесасе не нашел...

Можно objdump из комплекта gcc (или binutils, точно не знаю) использовать. Скачать готовый тулчейн можно на kpitgnutools.com после регистрации.
Пользоваться так:
xxx-objdump -D firmware

Для регистрации лучше всего использовать почту на гугле. Почему то яндекс почта их не впечатлила и два моих запроса повисло в воздухе. Запрос-же с гугле-почтой был принят и регистрация была подтверждена.

понял, спасибо