platforms/nexys4ddr: add sdcard pins