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