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