[U-Boot] [PATCH v4 05/13] drivers: serial: add driver for Microchip PIC32 UART controller.