[U-Boot] [PATCH v4 10/13] board: add SDHCI support for PIC32MZDASK board.