[PATCH 4/8] [arm64] config: enabling the cpuidle ARM driver

[Ricardo Salveti <ricardo.salveti@linaro.org>]

Signed-off-by: Ricardo Salveti <ricardo.salveti@linaro.org>
---
 debian/config/arm64/config | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 98d4f6f..65ff9fd 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -38,6 +38,11 @@ CONFIG_SATA_AHCI_PLATFORM=m
 CONFIG_COMMON_CLK_XGENE=y
 
 ##
+## file: drivers/cpuidle/Kconfig.arm
+##
+CONFIG_ARM_CPUIDLE=y
+
+##
 ## file: drivers/gpio/Kconfig
 ##
 CONFIG_GPIOLIB=y
-- 
2.5.0