tcl/fpga/xilinx-xadc.cfg: add support for XADC