Are these Timer/Counter settings right for PWM generation?