Arduino Board Addon

Zdravím, prosím programátory o radu.
Potřebuji přidat do arduina addon (vývojovou desku RAMBo) tak aby arduino bylo schopno flashovat firmware. Na windowsech mi to šlo normálně přidáním onoho addonu do artuino/hardware složky. Problém je v tom že to potřebuji nahrát i na linuxu, konkrétně na Raspbian. Arduino tam mám nainstalované a funguje jen nevím kam nakopírovat ten addon. Pradí někdo ? Díky.