--- zzzz-none-000/linux-4.4.271/kernel/exec_domain.c	2021-06-03 06:22:09.000000000 +0000
+++ hawkeye-5590-750/linux-4.4.271/kernel/exec_domain.c	2023-04-19 10:22:30.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;
 }