We don't need the extra dvbdev.h
It was inherited from old config_dvb.pl