--- zzzz-none-000/linux-3.10.107/drivers/isdn/Kconfig	2017-06-27 09:49:32.000000000 +0000
+++ scorpion-7490-727/linux-3.10.107/drivers/isdn/Kconfig	2021-02-04 17:41:59.000000000 +0000
@@ -58,6 +58,9 @@
 
 if ISDN_CAPI
 
+source "drivers/isdn/capi_oslib/Kconfig"
+source "drivers/isdn/capi_codec/Kconfig"
+source "drivers/isdn/avm_dect/Kconfig"
 source "drivers/isdn/capi/Kconfig"
 
 source "drivers/isdn/hardware/Kconfig"