diff --git a/src/arch/arm32/Makefile.efi b/src/arch/arm32/Makefile.efi
index a06354f1..e139a055 100644
--- a/src/arch/arm32/Makefile.efi
+++ b/src/arch/arm32/Makefile.efi
@@ -1,5 +1,9 @@
 # -*- makefile -*- : Force emacs to use Makefile mode
 
+# UEFI requires that enums are always 32 bits
+#
+CFLAGS		+= -fno-short-enums
+
 # Specify EFI image builder
 #
 ELF2EFI		= $(ELF2EFI32)