Index: kernel/genarch/src/multiboot/multiboot.c
===================================================================
--- kernel/genarch/src/multiboot/multiboot.c	(revision ba1ea408952db6f717ab18da9abce07fc16932ef)
+++ kernel/genarch/src/multiboot/multiboot.c	(revision d6be09702e3f579b9e267893503ea5092141f66a)
@@ -36,4 +36,5 @@
 #include <genarch/multiboot/multiboot.h>
 #include <config.h>
+#include <stddef.h>
 #include <str.h>