--- zzzz-none-000/linux-4.9.231/kernel/time/timer_list.c	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5590-729/linux-4.9.231/kernel/time/timer_list.c	2022-03-30 12:03:35.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;