gateware not loaded for SPEC at boot
in a FEC with 4 SPEC cards (3x with TDC FMC, 1x with Fine Delay) at boot time gateware was not loaded for one SPEC card (with TDC FMC). I dmesg I saw:
[ 38.458947] spec-fmc-carrier spec-0000:02:00.0: Not able to find DMA engine: platform_device missing
[ 38.459498] spec-fmc-carrier 0000:03:00.0: can't enable device: BAR 0 [mem 0x00000000-0x000fffff 64bit] not claimed
[ 38.460095] spec-fmc-carrier 0000:03:00.0: Failed to enable PCI device (-22)
[ 38.460484] spec-fmc-carrier: probe of 0000:03:00.0 failed with error -22
Attached logs: