Yo veo mas factible que si es un problema del Xilinx se solucione con el MultiLoaderCard, pero como no sabemos que firm le ha cargado ni como ni como lo ha hecho...

salu2