EFIBOOT_ALIGN
#ifndef EFIBOOT_ALIGN
alloc_size = marks[MARK_END] - marks[MARK_START] + efi_fdt_alloc_size() + EFIBOOT_ALIGN;
load_offset = (addr + EFIBOOT_ALIGN - 1) & -EFIBOOT_ALIGN;