Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 9a1b20c34d5404b8272209d06c0239aa1a2384da)
+++ kernel/Makefile	(revision 073c9e61a18eccb87f9fe939f4f206dd9422a55f)
@@ -293,5 +293,5 @@
 ifeq ($(CONFIG_UDEBUG),y)
 GENERIC_SOURCES += \
-	generic/src/ipc/ipc_kbox.c \
+	generic/src/ipc/kbox.c \
 	generic/src/udebug/udebug.c \
 	generic/src/udebug/udebug_ops.c \