axi_a23 dual-core system running on FPGA with caches enabled