[PATCH 7/7] cpuidle: check the device not already registered