# CONFIG_ARM_ERRATA_742231 is not set
# CONFIG_ARM_ERRATA_743622 is not set
# CONFIG_ARM_ERRATA_754322 is not set
-# CONFIG_ARM_ERRATA_798181 is not set
+CONFIG_ARM_ERRATA_798181=y
# CONFIG_ARM_EXYNOS4210_CPUFREQ is not set
# CONFIG_ARM_EXYNOS4X12_CPUFREQ is not set
CONFIG_ARM_GIC=y