hw/arm/xilinx_zynq: Support up to two CPU cores