# CONFIG_CPU_ICACHE_DISABLE is not set