Re: [Linaro-acpi] [PATCH 1/3] apei: Adjust addresses for APEI testing via UEFI -> GRUB -> ACPI kernel.