Re: [Linaro-acpi] [PATCH] ARM64: ACPI:Fix compilation warning prodessor_idle