cpuidle: makes AMD C1E work in acpi_idle