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