>>959
* kernel 4.9 の場合
ttps://github.com/torvalds/linux/blob/v4.9/drivers/media/dvb-core/Kconfig#L8
* kernel 4.10 の場合
ttps://github.com/torvalds/linux/blob/v4.10/drivers/media/dvb-core/Kconfig#L8

Debianはわからないけどバイナリで4.10以上にできるなら
アップデートすれば良いのでは。