Hi Tobe,
Can you wait a week or two? We (TI and Xilinx) are in the process of releasing a solution that would allow you to use a KC705 platform+ADC12J4000EVM with HSDC Pro. This would effectively allow you to do evaluation using Xilinx IP.
Xilinx field apps would then be able to support your needs for example projects etc. Do you have access to a KC705 platform? I think this will save you some work if you can get access to a Xilinx-supported solution.
Ken.