diff --git a/headers/private/kernel/platform/efi/boot-services.h b/headers/private/kernel/platform/efi/boot-services.h
index 8cc5f44cef..1f29105a47 100644
--- a/headers/private/kernel/platform/efi/boot-services.h
+++ b/headers/private/kernel/platform/efi/boot-services.h
@@ -27,6 +27,7 @@ typedef enum {
 
 typedef struct {
     uint32_t Type;
+    uint32_t Padding;
     efi_physical_addr PhysicalStart;
     efi_virtual_addr VirtualStart;
     uint64_t NumberOfPages;