fmc_tdc_wrapper: added 125 MHz FMC clock output