I got a board secondhand, with an old BIOS and IPMI. Updated both before even installing the board in the case, and now that I'm trying to bring the system up, the nics aren't detected. They don't even show up in lspci. In the IPMI interface, they are listed as all zeros for both. Anyone dealt with this before? The IPMI network port works fine...