Re: [Linaro-acpi] [PATCH v4] acpi, apei, arm64: APEI initial support for aarch64.