TI msp430 cores (from Energia) for Arduino-1.5