Re: [Linaro-acpi] [PATCH v4 05/18] ARM64 / ACPI: Introduce sleep-arm.c