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.