I corrected the PCIe configuration of the exflutca5-mch. It was configured for PCIe on only the first 6 AMCs. Now it supports all 12 slots.

I kept the PCIe Hotplug = disabled, as the hotplugging produced errors with the timing module software --> this has to be checked!