Add pwm timer. 

Add pwm timer. It operates on arndale board. Test code in tests_gic_timer.c