# CONFIG_CPU_DCACHE_DISABLE is not set