[Bug 507106] Review Request: msp430-libc - C library for use with GCC on Texas Instruments MSP430 microcontrollers