This problem was not resolved by the latest Bios.
At shutdown, the NIC is put into a state where it is deactivated. On the next startup, the NIC is not recognized. The workaround is to restart a second time, which then the NIC is recognized, or power cycle the power supply before starting.
Any help would be appreciated, thanks