Index: boot/arch/ia64/include/pal.h
===================================================================
--- boot/arch/ia64/include/pal.h	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/arch/ia64/include/pal.h	(revision 4646710d9ea7943ec02c77020e7b60258fd30d8b)
@@ -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 4646710d9ea7943ec02c77020e7b60258fd30d8b)
@@ -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 4646710d9ea7943ec02c77020e7b60258fd30d8b)
@@ -30,4 +30,5 @@
 #define BOOT_ia64_SKI_H_
 
+#include <stddef.h>
 #include <str.h>