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...