Ciao gpb01.
Credo che non ci sia problema di compatibilità, anche se tu mi hai messo una pulce nell'orecchio.
La libreria servo usa il Timer 1 che controlla i pin 9 e 10, nelle mia configurazione ho il ricevitore IR sul pin 10 gestito dalla libreria IRremote e tutto funziona correttamente.