--- zzzz-none-000/linux-4.4.60/ipc/sem.c	2017-04-08 07:53:53.000000000 +0000
+++ jet-2400-727/linux-4.4.60/ipc/sem.c	2021-03-17 14:36:41.000000000 +0000
@@ -198,6 +198,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);