Hi Scott!
The NIC bus number is hard-coded at the moment. This needs fixing if the NIC bus number can change.
The bus number of the NIC changed from 03:00.0 to 04:00.0 when I plugged a PCIe card into the board. Tried that maybe two weeks ago.
Regards Felix