The experience was, that the x2timer software is not working anymore, if PCIe hotplugging is enabled in the MCH. It should be checked, if this is still the case and then clarified with the responsible DESY people (Arthur, Lyudvig). Hotplugging is currently disabled, but it would be important to avoid reboots after FPGA reprogramming.