Dual-core system up and running with coherent caches