[PATCH 0/4] i386-efi and x86_64-efi fixes

[Josh Triplett]

The first three patches improve the EFI firmware allocator, fixing some bugs in
the process.

The last patch fixes many compilation-specific and firmware-specific crashes.

To avoid unnecessary patch conflicts, I've included appropriately formatted
ChangeLog entries for each patch separately in each mail, below the commit
messages and above the diffstats.

Josh Triplett (4):
  efi: Fix firmware memory allocation to round to 4k pages, not 1k
  efi: Fix requests to allocate GRUB_MEMORY_AVAILABLE
  efi: Support GRUB_MMAP_MALLOC_LOW in the EFI firmware allocator
  efi: On x86-64, align the stack to a 16-byte boundary as required by
    ABI

 grub-core/kern/x86_64/efi/startup.S |  6 +++++-
 grub-core/mmap/efi/mmap.c           | 23 ++++++++++++++---------
 include/grub/efi/memory.h           |  2 ++
 3 files changed, 21 insertions(+), 10 deletions(-)

-- 
1.8.4.3