When trying to use Arduino IDE 1.8.5 with a sanguinololu board, I noticed that the baud rate specified in board.txt file is not taken into account. The Arduino IDE always sets the baud rate to 115200 instead of taking what is specified in board.txt file (57600). As my sanguinololu board only supports 57600 bps, so I could'nt upload the firmware with Arduino 1.8.5. The feature is working on Arduino IDE 1.0.1.