Update: it looks like the problems persist, even after another BIOS update (to version 1301) and setting PCI-E gen 1.
Some cards in the cluster still fail to initialize, while others do not even appear in lspci. After a reboot, they may or may not appear. Several reboots are necessary to correctly start everything up.