Ich hatte die Dateien von
http://myplugbox.com/new/kernel26-dockstar/ (das pkg.tar.xz brauchst du nicht, das soll ja neu gebaut werden) in ein leeres Verzeichnis kopiert und das PKGBUILD angepasst:
# make oldconfig # auskommentiert
make silentoldconfig # nehme ich stattdessen immer
make menuconfig # um den Kernel konfigurieren zu können
Dann das Paket mit makepkg neu gebaut. Wenn das Fenster "Linux Kernel Configuration" erscheint unter Device Drivers -> Multimedia Support -> DVB/ATSC Adapters -> Support for various USB DVB devices das Modul für deinen DVB-Stick finden und aktivieren. Dann mit Exit zurück bis zum Anfang und Yes bestätigen. Kernelbau hat bei mir rund 2 Stunden gedauert (man kann sicher den Kernel noch ausdünnen - wobei
make localmodconfig hilfreich sein kann - damit es schneller geht). Anschließend das Paket installieren. Wenn der neue Kernel läuft würde ich config-2.6.35.4-dockstar durch deine .config unter src/linux-2.6.35.4/ ersetzen. Zum Paketbau (ABS) findest du auch einiges im Wiki, falls es für dich neu ist. VDR läuft übrigens auch schon, werde aber noch ein bißchen herumprobieren bis das Gerät seine endgültige Funktion findet.