diff --git a/src/arch/i386/Makefile.efi b/src/arch/i386/Makefile.efi
index 8d651b04..aa809eb5 100644
--- a/src/arch/i386/Makefile.efi
+++ b/src/arch/i386/Makefile.efi
@@ -4,6 +4,10 @@
 #
 ELF2EFI		= $(ELF2EFI32)
 
+# Use EFI ABI
+#
+CFLAGS		+= -malign-double
+
 # Include generic EFI Makefile
 #
 MAKEDEPS	+= arch/x86/Makefile.efi