doc: fix links to Xilinx bit files in Patmos homepage