Index: boot/arch/ia64/src/putchar.c
===================================================================
--- boot/arch/ia64/src/putchar.c	(revision d735e2e934b8d024cd14b4f088821f9d2649e913)
+++ boot/arch/ia64/src/putchar.c	(revision 5f53428ace17fe775b4d10c50bd94becc2cae73e)
@@ -27,7 +27,7 @@
  */
 
-#include <stddef.h>
 #include <arch/arch.h>
 #include <putchar.h>
+#include <stddef.h>
 #include <str.h>
 #include <arch/ski.h>