Hat das Board nen ISP den du vielleicht verwenden kannst? Soweit ich weiß kannst du mit der Arduino IDE keine externen .hex Files übertragen.