Added ATMega32U4 for timer1 pwm

Hi,
I'm using this small edit to get 20kHZ PWM for Arduino Leonardo. Is it a sufficient solution?