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