[Linaro-acpi] [PATCH] ACPI: ARM: stub out acpi_idle_play_dead properly