I am using the Zynq 7030 SOM with the Picozed FMC carrier card. When I create a project in Vivado 2014.3.1 using the board definition files for the carrier card and Z7030, the ARM cores only run correctly when I use the "Run Block Automation" option which creates a ground to the Card Detect pin of SD1. But, I need to use the MIO pins used for SD1 for signals on the PS PMOD. What is happening behind the scenes in the "Run Block Automation" that needs to happen for the ARM cores to run correctly? Is there a way to do this while leaving the PS PMOD MIO pins available?