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