Re: [PATCH v2 14/28] efi_loader: Install ACPI tables