I am trying to program TE0741 and the flash with xc3sprog. But it shows the error that 'XC7K160T' can't be programmed (snip attached). But I saw that Kintex 7 was in the list of supported hardware of xc3sprog. Also, what are the constraints to be used for the flash programming?