fpga-ps-mio: PESD3V3S4UD (D11, D12) has too high capacitance which disrupts SDIO clock making the board unable to boot from SD card
It's 300pF according to the datasheet. We should use another ESD protection with lower capacitance. Also ESD protection for backplane I2C should be changed for the System Board and Peripheral Boards as currently used PESD3V3S4UD would greatly impact the I2C rise time.