need to write patches for the latest tools being used by github.com/Arduino
these tools do not appear to support the 'E5' series, for example. Additional fixes mentioned in these issues might also need to be applied. Need to assess which fixes are required.
All fixes would have to be submitted upstream for gcc, avr-libc, and binutils, as well as to the Arduino project itself, and possibly the related FreeBSD ports as well.