Re: [PATCH v3 14/30] efi_loader: Allocate and write ACPI tables