Update comments Use the TMP101 sensor adress as used on the exanh sensor board.

Fix comments and use uprintf instead of serial_write

Adding partial support for State Configurable Timers (SCT) Use as one 32 bits counter for PWM implemented and tested

Initial commit Most of the code received basic testing. Most of the code comes from the LPC1224 support code.