Arduino: higher software pwm frequency