Beh, allora non ti resta che questa strada.
leo72:
I pin sono dichiarati nei file /hardware/arduino/cores/arduino/pins_arduino.cpp/.h per l'DE 002x. Sulla 1.0 non so.
Ricordati comunque che poi devi controllare anche gli altri file dove vengono dichiarati gli interrupt, i timer, i vari digitalRead/Write ecc...
Non è difficile, devi solo prenderti 1 oretta di tempo e ricontrollare tutti i file del core.