CONFIG_ARM_ZYNQ_CPUIDLE=y