Update arduino's boards.txt for ProDuino