--- zzzz-none-000/linux-4.4.60/kernel/exec_domain.c	2017-04-08 07:53:53.000000000 +0000
+++ scorpion-7490-727/linux-4.4.60/kernel/exec_domain.c	2021-02-04 17:41:59.000000000 +0000
@@ -41,6 +41,8 @@
 
 static int __init proc_execdomains_init(void)
 {
+	if (IS_ENABLED(CONFIG_PROC_STRIPPED))
+		return 0;
 	proc_create("execdomains", 0, NULL, &execdomains_proc_fops);
 	return 0;
 }