I urgently warn to buy a DELL PC. We have very bad experience with Dell, they are fine office PCs but not suited to plug in any card that is not from Dell. There is a problem with the parity bit on the PCI bus, resulting in crashes when transfering data from the P7889. There is nothing we can do concerning that problem, as the handling of the parity bit is done within the PCI core provided by Xilinx. There are no problems with motherboards from other manufacturers like Supermicro.
Meanwhile we have signed drivers for all our PCI and USB devices for 64 bit Windows 7.