There are no more BCU1525 available until December, and even Xilinx has almost no VCU1525 available either.  So anyone claiming to have a big order is fake.

Bittware is the best way to go right now.  The XUPVV4-VU9 is available relatively soon and their 300A board around October.