[U-Boot] [PATCH v2 10/13] drivers: gpio: add driver for Microchip PIC32 GPIO controller.