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