[tip:efi/core] x86/efi: Allocate e820 buffer before calling efi_exit_boot_service