Para qué quieres hacer eso?
Tienes una librería que hace lo mismo sin cambiar nada. Usa la librería para este micro y listo
Simple y rápido.
Todo lo demás corre por tu cuenta.
has visto la librería porque no es solo cambiar esas lineas.
Los registros TCA y TCB son de 16 bits y admiten 4 timers o sea 2 de 8 bits.
ServoTimers. h puede que luzca similar pero Servo.cpp no se si es igual a Servo.cpp común a los AVR.
Ojo una cosa son los AVR de ATMEL y otra este ATmega4808 que obviamente es de Microchip. Me puedo equivocar pero no habia visto estructura desdoblada de los timers como en este caso.