...
Well, I'm pretty much talking to myself here in this thread, but
it looks like I've (again) fallen victim to the different sequences
in which the DVB and dvb-kernel driver count the devices. With DVB
the sequence here was
1 FF
2 budget
3 FF
while with dvb-kernel it is
1 FF
2 FF
3 budget
Therefore what I said above about this problem also occuring with
budget cards is probably not correct.
Anyway, joerg@hakker.de suggested in a posting (that unfortunetaly
broke the thread) to set pids_off=1 - and ever since I did this, I
haven't had this problem any more :-)
Maybe one of the driver developers can throw in a few thoughts on why
this makes such a difference, and whether this is a driver problem
or VDR might be doing something wrong.