CONFIG_ARCH_HAS_LAZY_MMU_MODE=y
