>>971
Ubuntu だと残念ながら存在しない様です。
$ ls /proc/config.gz
ls: '/proc/config.gz' にアクセスできません: そのようなファイルやディレクトリはありません

ここによると
ttps://matoken.org/blog/2016/02/05/call-the-procconfig-gz-in-configs-module/
$ grep DVB_MAX /boot/config-4.15.0-43-generic
CONFIG_DVB_MAX_ADAPTERS=8

Ubuntu の場合カーネルの再ビルドが必要ですね。
Debian も同じでしょうかね？