Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 3f74275b545272926eb993b683eae30e42326ab4)
+++ kernel/Makefile	(revision 91b604993517a2bdc14cfe1ede6902150ab29533)
@@ -271,8 +271,6 @@
 	generic/src/ipc/sysipc.c \
 	generic/src/ipc/sysipc_ops.c \
-	generic/src/ipc/ops/clnestab.c \
 	generic/src/ipc/ops/conctmeto.c \
 	generic/src/ipc/ops/concttome.c \
-	generic/src/ipc/ops/connclone.c \
 	generic/src/ipc/ops/dataread.c \
 	generic/src/ipc/ops/datawrite.c \