Index: boot/genarch/src/efi.c
===================================================================
--- boot/genarch/src/efi.c	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
+++ boot/genarch/src/efi.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -42,3 +42,2 @@
 	return NULL;
 }
-