[PATCH 08/40] efi: Correct address handling with ACPI tables