leo72:
Non avevo letto il readme allegato, c'è scritto chiaro e tondo che è una toolchain "pot-pourri", creata mettendo insieme un sacco di strumenti provenienti dal repo della versione Jaunty di Ubuntu.
Adesso faccio una ipotesi, poi magari Massimo ce la conferma, a causa dei noti problemi delle varie versioni più recenti di avr-gcc per Linux è probabile che hanno preso la decisione di installare la stessa release presente con Windows perché funziona in modo affidabile e senza particolari problemi, esclusa la questione >128k e finché rimaniamo su i processori usati ufficialmente da Arduino.