--- zzzz-none-000/linux-4.9.218/kernel/exec_domain.c	2020-04-02 15:20:41.000000000 +0000
+++ seale-7590ac-750/linux-4.9.218/kernel/exec_domain.c	2022-11-30 09:46:20.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;
 }