--- zzzz-none-000/linux-4.4.271/kernel/time/timer_list.c	2021-06-03 06:22:09.000000000 +0000
+++ dakota-7530ac-750/linux-4.4.271/kernel/time/timer_list.c	2023-01-11 09:25:44.000000000 +0000
@@ -400,6 +400,8 @@
 {
 	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;