Re: [Linaro-acpi] [PATCH v2 3/3] ARM: Check if a CPU has gone offline