Re: [Linaro-acpi] [Devel] [PATCH v2] EFI: fix build for AARCH64