Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision dc122622bc947e1d697ecaa0da3e88b197e31f5e)
+++ kernel/generic/src/printf/printf_core.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
@@ -41,4 +41,5 @@
 #include <stdarg.h>
 #include <macros.h>
+#include <stddef.h>
 #include <str.h>
 #include <arch.h>