Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 9a1b20c34d5404b8272209d06c0239aa1a2384da)
+++ kernel/Makefile	(revision 0dd0f71fa885d92f7ddf540df7102fce0dca50b5)
@@ -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 \