--- zzzz-none-000/linux-4.9.276/kernel/exec_domain.c	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/kernel/exec_domain.c	2023-04-05 08:19:02.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;
 }