Index: boot/genarch/src/multiplication.c
===================================================================
--- boot/genarch/src/multiplication.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/genarch/src/multiplication.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
@@ -33,5 +33,5 @@
 
 #include <genarch/multiplication.h>
-#include <stddef.h>
+#include <stdint.h>
 
 /** Set 1 to return INT64_MAX or INT64_MIN on overflow */