Cyclone V SoC dev kit - Ethernet and USB host port not working

Cyclone V SoC dev kit, rev C board. Straight out of the box, I tried connecting to our dev ethernet network which has a DHCP server, but the board does not get an IP. Using Wireshark we saw no ...