>>966
$ lsb_release -d
Description: Ubuntu 18.04.1 LTS
$ grep DVB_MAX /lib/modules/4.15.0-43-generic/build/.config
CONFIG_DVB_MAX_ADAPTERS=8

あらららそーなのか。

>>968
実際に使われている値はどうやって調べるんだったかな？
と思っていたので感謝です。