diff --git a/zircon/kernel/lib/efi/include/efi/boot-services.h b/zircon/kernel/lib/efi/include/efi/boot-services.h
index aef5bad..52b4c0e 100644
--- a/zircon/kernel/lib/efi/include/efi/boot-services.h
+++ b/zircon/kernel/lib/efi/include/efi/boot-services.h
@@ -31,6 +31,7 @@
 
 typedef struct {
   uint32_t Type;
+  uint32_t Padding;
   efi_physical_addr PhysicalStart;
   efi_virtual_addr VirtualStart;
   uint64_t NumberOfPages;