Linux device tree generator for the Xilinx SDK (Vivado > 2014.1)