Fix automated choise of config_dvb.pl version
Make the life of Debian users more easy
When running an official Debian kernel, you don't
have to recompile it anymore.
We can patch the kernel for you.
Cosmetics
Merge branch 'master' into debian