[GIT PULL] Xilinx fixes for v2020.07-rc2