Auch von mir vielen Dank für die große Mühe und die exzellente Anleitung 
.
Folgenden Kommentar habe ich bereits unter der Anleitung gepostet, ich mach es aber hier auch noch.
Nicht um mich wichtig zu machen, aber ich musste einiges recherchieren und lesen um wirklich alles soweit zum Laufen zu kriegen.
Das möchte ich gern anderen ersparen:
Anzumerken wäre von meiner Seite noch, dass man die Backports-Kernel mit der angegebenen sources.list nicht installieren kann, man muss folgende Zeile (zumindest temporär) hinzufügen:
deb http://www.backports.org/debian lenny-backports main contrib non-free
Weiterhin funktionierte bei mir die Installation der Mantis-Treiber nicht so wie beschrieben. Alternativ kann man die Liplian-Treiber nehmen und so installieren:
apt-get update
apt-get install dvb-s2api-liplianin-source debhelper
mit cat /proc/version nachsehen, ob auch wirklich der gewünschte Kernel läuft.
Das Verzeichnis /usr/src wechseln und mit
module-assistant prepare
prüfen ob alle nötigen Pakete installiert sind. Dann Treiber kompilieren. Das dauert ziemlich lange, auch auf Dual-Core-Systemen (bei mir hat das ca. 3 Min. gedauert):
module-assistant build dvb-s2api-liplianin
Wenn alles ohne Fehler abgearbeitet wurde, kann das erstellte Paket mit
dpkg -i dvb-s2api-liplianin*.deb
installiert werden
Ob nun auch wirklich alle DVB-Karten gefunden werden, kann mittels:
lsmod | grep dvb
nachgesehen werden.
Diese Beschreibung habe ich aus How-To c't-VDR7 und HDTV [v.1.7] geklaut.
Zum Thema LIRC: So wie beschrieben bricht der Module-Assistant leider wegen eines Bugs in lirc-modules-source ab (lirc-modules/lirc_i2c.c:399: error: unknown field 'id' oder etwas ähnliches).
Abhilfe schafft ein
dpkg-reconfigure lirc-modules-source
Hier einfach i2c komplett abwählen. Danach speichern und es sollte sich alles wie beschrieben bauen lassen.
Sorry für den ganzen Text, ich hoffe ich kann einigen Leuten etwas Stress ersparen 
.