--- zzzz-none-000/linux-4.4.60/kernel/time/timer_list.c	2017-04-08 07:53:53.000000000 +0000
+++ wasp-540e-714/linux-4.4.60/kernel/time/timer_list.c	2019-07-03 09:21:34.000000000 +0000
@@ -393,6 +393,8 @@
 {
 	struct proc_dir_entry *pe;
 
+	if (IS_ENABLED(CONFIG_PROC_STRIPPED))
+		return 0;
 	pe = proc_create("timer_list", 0444, NULL, &timer_list_fops);
 	if (!pe)
 		return -ENOMEM;