doc: only 9 core Xilinx bit file