--- zzzz-none-000/linux-5.4.213/drivers/isdn/Kconfig	2022-09-15 10:04:56.000000000 +0000
+++ miami-7690-761/linux-5.4.213/drivers/isdn/Kconfig	2024-05-29 11:19:51.000000000 +0000
@@ -21,6 +21,8 @@
 
 if ISDN
 
+source "drivers/isdn/capi_oslib/Kconfig"
+
 source "drivers/isdn/capi/Kconfig"
 
 source "drivers/isdn/mISDN/Kconfig"