[PATCH v3 26/30] efi_loader: Avoid mapping the ACPI tables twice