add Xilinx timer PWM support