cpuidle support does not seem to work !