Ok, mais ça c'est un autre débat en effet. Faudrait déjà voir quelle distro de gcc a été utilisée pour produire ça, quelles sont ses options par défaut, et ces options sont-elles le défaut de toutes les distributions de gcc par exemple.
Après, comme le dit Zerosquare, tu as probablement une utilisation assez "corner casique" © de gcc, vu ton matériel cible.