Index: boot/arch/ia64/include/pal.h
===================================================================
--- boot/arch/ia64/include/pal.h	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/arch/ia64/include/pal.h	(revision c09ff7bd1b88585eb4f2aaba5b1a2d603a5979c7)
@@ -32,4 +32,5 @@
 #include <arch/types.h>
 #include <stddef.h>
+#include <stdint.h>
 
 /*
Index: boot/arch/ia64/include/sal.h
===================================================================
--- boot/arch/ia64/include/sal.h	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/arch/ia64/include/sal.h	(revision c09ff7bd1b88585eb4f2aaba5b1a2d603a5979c7)
@@ -32,4 +32,5 @@
 #include <arch/types.h>
 #include <stddef.h>
+#include <stdint.h>
 
 /*
Index: boot/arch/ia64/include/ski.h
===================================================================
--- boot/arch/ia64/include/ski.h	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/arch/ia64/include/ski.h	(revision c09ff7bd1b88585eb4f2aaba5b1a2d603a5979c7)
@@ -30,4 +30,5 @@
 #define BOOT_ia64_SKI_H_
 
+#include <stddef.h>
 #include <str.h>