Index: kernel/generic/include/printf/printf_core.h
===================================================================
--- kernel/generic/include/printf/printf_core.h	(revision 9be1d58c0982bff8d79f4b3723dbfa968d1053a6)
+++ kernel/generic/include/printf/printf_core.h	(revision b6ee5b112c06c03a7a1b7e50e20d88d3e5413c99)
@@ -37,5 +37,5 @@
 
 #include <typedefs.h>
-#include <arch/arg.h>
+#include <stdarg.h>
 
 /** Structure for specifying output methods for different printf clones. */