--- zzzz-none-000/linux-4.4.271/drivers/isdn/Kconfig	2021-06-03 06:22:09.000000000 +0000
+++ hawkeye-5590-750/linux-4.4.271/drivers/isdn/Kconfig	2023-04-19 10:22:28.000000000 +0000
@@ -58,6 +58,7 @@
 
 if ISDN_CAPI
 
+source "drivers/isdn/capi_oslib/Kconfig"
 source "drivers/isdn/capi/Kconfig"
 
 source "drivers/isdn/hardware/Kconfig"