Ciao
La chipkit non è un'Arduino... è una scheda con la forma di Arduino che ha un linguaggio più o meno compatibile.
L'hardware va a 3.3v e molti shield non vanno...(o rischiano di danneggiarla)
Non è cosi semplice migrare una community a 32bit, ci vuole tempo ed il prodotto giusto. bisogna fare un sacco di "test" sugli utenti etc.. Inoltre tutta la documentazione va aggiornata per far capire cosa ve e cosa non va....
Detto questo Il 16 settembre io leggerei il blog di Arduino....
m