La patch serviva per rendere la toolchain compatibile con Arduino, non so se con l'ultima toolchain serve ancora, a quanto pare no, dovrei provarla per verificare eventuali problemi però in questo periodo sono straimpicciato e non ho tempo per farlo.