By changing names of the FPGA boards with a unique board name in psl_devices file , and testing this name with the board name contained in the image name, we could prevent from flashing an image created for a type of board and putting it in another type of board.
This often happens when multiple cards are available on the same system and this prevents the card from rebooting .