--- zzzz-none-000/linux-4.1.52/drivers/isdn/Kconfig	2018-05-28 02:26:45.000000000 +0000
+++ bcm63-7530ax-731/linux-4.1.52/drivers/isdn/Kconfig	2022-03-02 11:37:13.000000000 +0000
@@ -58,6 +58,10 @@
 
 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"