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 bbb01b98a51d30dabc8f07bc5db6598151f1ad6b)
@@ -37,5 +37,5 @@
 
 #include <typedefs.h>
-#include <arch/arg.h>
+#include <stdarg.h>
 
 /** Structure for specifying output methods for different printf clones. */