I found a few errors in the tables in the Carrier Card Hardware User Guide Rev 1.0, 27 Dec 2013. Connections tables don't match the schematics.
Table 9 - Diligent PMOD Connections.
In the table for Pmod JF pins 1-8, Pmod JG pins 1-4 and Pmod JH pins 1-4 go to the wrong Zynq pins as traced using the Carrier board and MicroZed board schematics.
Table 12 - JX1 Connections.
On Pmod JK pin 9 should go to JX1 pin 82 not pin 74. On Pmod JK pin 10 should go to JX1 pin 84 and not pin 76. JX1 pins 74 and 76 are used to Pmod JD pins 9 and 10.