Es ist die Arduino-Firmware die nicht läuft. Intel hat eine eigene Version der Arduino 1.5.3 Software. Da gibt es einen Menupunkt zum Firmwareupdate. Da hat er den Geist aufgegeben ...