--- zzzz-none-000/linux-4.9.325/drivers/isdn/Kconfig	2022-07-29 15:05:48.000000000 +0000
+++ seale-7590ax-800/linux-4.9.325/drivers/isdn/Kconfig	2024-09-18 09:50:47.000000000 +0000
@@ -58,6 +58,8 @@
 
 if ISDN_CAPI
 
+source "drivers/isdn/capi_oslib/Kconfig"
+
 source "drivers/isdn/capi/Kconfig"
 
 source "drivers/isdn/hardware/Kconfig"