Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 05641a9edbf1f7a46db1517a8e99aa0ffa7bdd5d)
+++ kernel/Makefile	(revision 10d73d86dccd2e37130c9ce5830e87c02b042a47)
@@ -194,8 +194,6 @@
 	generic/src/printf/printf_core.c \
 	generic/src/printf/printf.c \
-	generic/src/printf/sprintf.c \
 	generic/src/printf/snprintf.c \
 	generic/src/printf/vprintf.c \
-	generic/src/printf/vsprintf.c \
 	generic/src/printf/vsnprintf.c \
 	generic/src/time/clock.c \