[U-Boot] [PATCH v1 17/18] board: add SDHCI support for PIC32MZDASK board.