[U-Boot] [PATCH v1 11/18] drivers: gpio: add driver for Microchip PIC32 GPIO controller.