tools: Fix typo in Xilinx FPGA configuration script.