Re: [Linaro-acpi] [PATCH v4 05/13] ARM64 / ACPI: Introduce arm-core.c and its related head file