Re: [Linaro-acpi] [PATCH 0/4] Make UEFI and ACPI play nice on ARMv7