drivers: dvbsky-dvb-drivers (20140816), fix _extramodules, cosmetics