Thanks, Jeremy. That got the build to complete.
I have a new question now. With SSP 1.0 I was able to get EDMAC1 on the DK-S7G2 board to work. With SSP 1.1 I cannot. I can see that the ethernet port is being initialized (the orange light comes on) and I even see the occasional flicker on the green light on the port when there is traffic on the network. However, watching in Wireshark I don't see any packets being sent.
I have set the Channel 1 Phy Reset Pin to IOPORT_PORT_07_PIN_06, and set the interrupt to 8 on the ethernet port. Beyond that, I don't know what to do to make this work on the DK board. Do you have any suggestions?