--- zzzz-none-000/linux-4.9.279/drivers/isdn/Kconfig	2021-08-08 06:38:54.000000000 +0000
+++ puma7-atom-6591-750/linux-4.9.279/drivers/isdn/Kconfig	2023-02-08 11:43:42.000000000 +0000
@@ -58,10 +58,11 @@
 
 if ISDN_CAPI
 
+source "drivers/isdn/capi_oslib/Kconfig"
+
 source "drivers/isdn/capi/Kconfig"
 
 source "drivers/isdn/hardware/Kconfig"
-
 endif # ISDN_CAPI
 
 source "drivers/isdn/gigaset/Kconfig"