ACPI / idle: pass the cpuidle_device parameter