Arduino IDE 101 Support on the Raspberry Pi 3 - Raspbian - No 101 in the board a

If you just want to be able to flash your Arduino from your Raspberry, please have a look at my post in this Github bugreport for how to do this.