EFI_PHYS_ALIGN
if ((alloc_base % EFI_PHYS_ALIGN) > slack) {
kernel_base = round_up(alloc_base, EFI_PHYS_ALIGN);
kernel_base = round_down(alloc_base, EFI_PHYS_ALIGN);
int alloc_size = MAX_UNCOMP_KERNEL_SIZE + EFI_PHYS_ALIGN;