[xilinx]: Fixed last commit. Problem was actually due to a different cause