実行中のカーネルのconfigは/proc/config.gz でも見られるよ
zcat /proc/config.gz | grep DVB_MAX_ADAPTERS