drivers: dvbsky-dvb-drivers (20140816), fix _extramodules, cosmetics
Merge pull request #59 from olebowle/dvbsky

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