I removed the PicoZed from the FMC Carrier card, jumpered J13 contacts together, and power still didn't show up from the ADP5052 (monitored on CON3.
The schematic shows J13 tied to 3.3V to turn on VCCIO_EN. Is this a design error? How can VCCIO_EN go high from J13 if the ADP5052 is not enabled to power the 3.3V?