Why not let the board define a type for the frequency? Isn't it possible for a 8bit or even 16bit board to support higher pwm frequencies?