linux/drivers/cpuidle/Kconfig.powerpc