Hallo SprinterSB,

danke für die Antwort.
Du hast schon recht, es wird INT0 verwendet, aber die #Define-Angaben sind so korrekt.
Die Konstante die bestimmt, ob INT0 oder INT1 verwendet wird ist RC5_INT und diese Konstante kann entweder den Wert von RC5_INT1 oder RC5_INT0 annehmen.

Weiter unten im Quellcode sind dann immer solche Abfragen vorhanden:
#if (RC5_INT == RC5_INT0)
...
#elif (RC5_INT == RC5_INT1)
...
#endif /* RC5_INT */

Über uart-Ausgaben konnte ich auch schon nachweisen, dass tatsächlich Interruptsausgelöst werden, wenn ich Tasten auf der Fernbedienung drücke.
Ich vermute das Problem liegt eher irgendwie beim Timing oder so...