Index: boot/arch/ia64/src/main.c
===================================================================
--- boot/arch/ia64/src/main.c	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
+++ boot/arch/ia64/src/main.c	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -28,5 +28,4 @@
  */
 
-
 #include <arch/main.h>
 #include <arch/types.h>