Index: kernel/generic/include/printf/printf_core.h
===================================================================
--- kernel/generic/include/printf/printf_core.h	(revision c875217526e49b72322987f2e8a5476bb184f1eb)
+++ kernel/generic/include/printf/printf_core.h	(revision d6be09702e3f579b9e267893503ea5092141f66a)
@@ -36,6 +36,6 @@
 #define KERN_PRINTF_CORE_H_
 
-#include <typedefs.h>
 #include <stdarg.h>
+#include <stddef.h>
 
 /** Structure for specifying output methods for different printf clones. */