Re: [PATCH 04/20] ARM64 / ACPI: Introduce arm_core.c and its related head file