--- zzzz-none-000/linux-5.4.213/kernel/exec_domain.c	2022-09-15 10:04:56.000000000 +0000
+++ miami-7690-761/linux-5.4.213/kernel/exec_domain.c	2024-05-29 11:20:02.000000000 +0000
@@ -29,6 +29,8 @@
 
 static int __init proc_execdomains_init(void)
 {
+	if (IS_ENABLED(CONFIG_PROC_STRIPPED))
+		return 0;
 	proc_create_single("execdomains", 0, NULL, execdomains_proc_show);
 	return 0;
 }