Index: boot/genarch/src/multiplication.c
===================================================================
--- boot/genarch/src/multiplication.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/genarch/src/multiplication.c	(revision 239e32b8559ac435fb7cf9f8377d70fddc986ddf)
@@ -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 */