--- zzzz-none-000/linux-4.9.276/kernel/time/timer_list.c	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/kernel/time/timer_list.c	2023-04-05 08:19:02.000000000 +0000
@@ -400,6 +400,9 @@
 {
 	struct proc_dir_entry *pe;
 
+	if (IS_ENABLED(CONFIG_PROC_STRIPPED))
+		return 0;
+
 	pe = proc_create("timer_list", 0400, NULL, &timer_list_fops);
 	if (!pe)
 		return -ENOMEM;