CONFIG_CPU_CP15_MMU=y
# CONFIG_CPU_DCACHE_WRITETHROUGH is not set
# CONFIG_CPU_ICACHE_DISABLE is not set
+# CONFIG_CPU_IDLE_GOV_TEO is not set
CONFIG_CPU_PABRT_LEGACY=y
CONFIG_CPU_PM=y
-# CONFIG_CPU_IDLE_GOV_TEO is not set
CONFIG_CPU_THUMB_CAPABLE=y
CONFIG_CPU_TLB_V4WBI=y
CONFIG_CPU_USE_DOMAINS=y