Add gpio_read() helper

Move enum to header file.

Fix comments and use uprintf instead of serial_write

Adding comments to the pwm config structure and function Fixes to timer_on() function comments

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.