Dual core running correctly on FPGA