[U-Boot] [PATCH v2 13/13] board: Add gpio and ethernet support to pic32mzdask board.