A chi interessa ho trovato la soluzione, il problema sta principalmente nell'IDE.
Io sono riuscito a far andare il tutto con la versione 0.22, io lo sto usando ora su un Linux Mint 12 a 64Bit con un ArduinoEthernet e una miniUSBSerial.
Poi ho dovuto modificare il file Boards.txt con questo http://arduino.cc/en/uploads/Main/boards.txt.zip, che è valido solo per la 0.22 da quel che ho capito.
Per il resto tt'apposto 
Flavio.