[PATCH 3/4] ACPI / idle: pass the cpuidle_device parameter