* Added support for Xilinx Kintex-7 FPGA KC705 Evaluation Kit

* Added better handling for the board parameter with the genesys2 as a default. Bumped the ariane-ethernet repo for compatibility