diff --git a/kern/efi/mm.c b/kern/efi/mm.c
index 35b12ab..d845ec3 100644
--- a/kern/efi/mm.c
+++ b/kern/efi/mm.c
@@ -73,7 +73,10 @@ grub_efi_allocate_pages (grub_efi_physical_address_t address,
     type = GRUB_EFI_ALLOCATE_ADDRESS;
 #else
   if (address == 0)
-    type = GRUB_EFI_ALLOCATE_ANY_PAGES;
+    {
+      type = GRUB_EFI_ALLOCATE_MAX_ADDRESS;
+      address = 0xffffffff;
+    }
   else
     type = GRUB_EFI_ALLOCATE_ADDRESS;
 #endif