I picked up a nearly-new Epyc motherboard through the forums a few days ago, and for some reason it's not picking up my ConnectX-3 card at all (single port, 10GbE, I believe MCX311A-XCAT). I've tried multiple slots, and it's neither included in the IPMI inventory nor in lspci output, and there's...