cpuidle: fixup device.h header in cpuidle.h