Gerade bei den etwas größeren Controllern hat man eigentlich genug Hardware PWM Kanäle, auch mit 16 Bit Auflösung. Man ist dann nur in der Wahl der Pins eingeschränkt. Wegen der relativ langen Pausen sollte man schon 16 Bit Auflösung nehmen. Als Nächst beste Alternative auch nur einen 8 Bit timer, dann aber für Pause und Puls getrennt und mit jeweils nur eine ISR Aufruf. Also 1 x warten für lange Pause (ca. 18 ms) 1 x Puls für 1. Servo und 1 x Puls für 2.ten Servo. Das sollte mit weniger Rechenzeit auskommen.