Im a little confused with the OP's suggestions. In the first post he clearly recommends the Xilinx VCU1525 but later on, throughout the thread, he shows his preferences for the Bittware XUPP3R-VU9P.

Surely the bitstream will be chip-specific so if that is the case then he or someone will have to "compile" a bitstream for each device. And as he seems to be working more closely with Bittware that will take preference.

The Xilinx DK-U1-VCU1525-A-G is a dev board and locally the price is very high. If I need to buy two to run one also but the OP preference is Bittware then that Is a sizeable investment to risk. I really think that this will change the face of Altcoins but we will need more bitstream developers.

As said before we need the Clyamores/Wolfs of FPGA's and Open Hardware design.