xilinx_ise: fix clock domain names