Running Arduino on 64bits os

Hej,

I dont think your board is broken, you have to set up the download speed as shown in the FAQ, modifying the parameters file.

/David