Re: [Linaro-acpi] [PATCH v2 1/3] ACPI / idle: Make idle_boot_override depend on x86 and ia64