intel_idle supercedes acpi_idle