[PATCH 2/2] exynos: mmu: use CONFIG_IS_ENABLED