[U-Boot] [PATCH v3 13/14] drivers: net: Add ethernet driver for Microchip PIC32.