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