drivers: net: Add ethernet driver for Microchip PIC32.