Well, I swapped the 6i25 for a 5i25. Now HAL initializes with no problem, and I can see all the 5i25 pins in the HAL configuration window. So I have to assume the problem was the PCIe interface on my motherboard.
Now on to configuring HAL for gantrykins and the 5i25.