Re: [PATCH v5 14/36] efi_loader: Allocate and write ACPI tables