Hurco BMC 30 AP

Hello everyone, after a long break, I've started modifying my Hruco again.

A quick overview of the setup: I have a 7I97 mainboard, and I've connected a 7I74 to it to expand the ports.
I've connected a 7IAO (Port 1) and a 7I89 (Port 2) to the 7I74.
I noticed that the 7IAO also has a Xilinx Spartan-6 FPGA, but I assume it already has a basic bitfile on it that I could flash via the pins on the chip, but I don't have to if it's not necessary.
Am I correct in this assumption, or do I also need to flash my own bitfile onto the card?

Now for the second part of my question.
I wanted to create a suitable bitfile for the four cards I mentioned above.
What software would be best to use for this?
Since the FPGAs are from Xilinx, I'll probably have to use their software so the IC can understand the bit file, so Vivado, right?
I also saw something online from Efinix, but those are different ICs.
The software probably won't be compatible with them, will it?