[xilinx]: Minor bugfix