Merge pull request #1816 from mithro/kintex-dsp

Try running DSP fuzzers on Kintex7.