--- zzzz-none-000/linux-5.4.213/ipc/sem.c	2022-09-15 10:04:56.000000000 +0000
+++ miami-7690-761/linux-5.4.213/ipc/sem.c	2024-05-29 11:20:02.000000000 +0000
@@ -243,6 +243,8 @@
 void __init sem_init(void)
 {
 	sem_init_ns(&init_ipc_ns);
+	if (IS_ENABLED(CONFIG_PROC_STRIPPED))
+		return;
 	ipc_init_proc_interface("sysvipc/sem",
 				"       key      semid perms      nsems   uid   gid  cuid  cgid      otime      ctime\n",
 				IPC_SEM_IDS, sysvipc_sem_proc_show);