[U-Boot] [PATCH v1 14/18] board: Add gpio and ethernet support to pic32mzdask board.