Re: [Linaro-acpi] [PATCH v2 7/7] ACPI: ARM: disable x86-specific processor idle code